Modal logic - Blackburn, Patrick 1959-; Rijke, Maarten de; Venema, Yde (Cambridge Univ. Press, 2008)