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