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