An introduction to modal logic - Hughes, G. E. 1918- (Methuen, 1972)