Companion to modal logic. - Hughes G E; Cresswell M J (New York Methuen, 1984)