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