The algebra of modal logic - Blackburn, Patrick 1959- (Centrum voor Wiskunde en Informatica, 1994)