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