Modal logic an introduction - Chellas, Brian F. (Cambridge University Press, 1995)