"Advances in modal logic" - читать интересную книгу автора (Frank Wolter, Heinrich Wansing, Maarten De Rijke, Michael Zakharyaschev)