"Basic Modal Logic" - читать интересную книгу автора (Pollock John)