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