"Strict Implication, Entailment, and Modal Iteration" - читать интересную книгу автора (Pap Aurthur)