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