The algebra of modal logic - Blackburn, Patrick 1959-; Rijke, Maarten de; Venema, Yde (Univ. des Saarlandes, Computerlinguistik, 1994)