The algebra of modal logic - Blackburn, Patrick 1959-; Rijke, Maarten de; Venema, Yde (Stichting Mathematisch Centrum, 1994)