Modal logic an introduction to its syntax and semantics - Cocchiarella, Nino B. (Oxford University Press, 2008)