"A Completeness Theorem in Modal Logic" - читать интересную книгу автора (Kripke Saul)