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