"Advanced Modal Logic" - читать интересную книгу автора (Zakharyaschev Wolter, Chagrov)