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