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