An introduction to modal logic - Hughes, George Edward 1918- (Methuen, 1968)