"Modal Logic (Cambridge Tracts in Theoretical Computer Science, Volume 53)" - читать интересную книгу автора (Patrick Blackburn, Maarten de Rijke, Yde Venema)