"A New Introduction to Modal Logic" - читать интересную книгу автора (M.J. Cresswell, G.E. Hughes)