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