"Handbook of Modal Logic" - читать интересную книгу автора (Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter)