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