An introduction to modal logic - Hughes, G. E. (University paperbacks ;, 1972)