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