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