A new introduction to modal logic - Hughes, G. E. (George Edward) 1918- (Routledge, 1996)