"Modal Logic: An Introduction to its Syntax and Semantics" - читать интересную книгу автора (Nino B. Cocchiarella, Max A. Freund)