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