Modal logic - Blackburn, Patrick 1959-; Rijke, Maarten de; Venema, Yde (Cambridge tracts in theoretical computer science, 2004)