"Handbook of modal logic" - читать интересную книгу автора (Blackburn P., van Benthem J., Wolter F.)