TY - BOOK AU - Cocchiarella,Nino B. AU - Freund,Max A. TI - Modal logic: an introduction to its syntax and semantics SN - 9780195366587 (hbk.) U1 - 160 PY - 2008/// CY - Oxford PB - Oxford University Press KW - Modality (Logic) N1 - Includes bibliographical references (p. 257-261) and index; 1. Introduction. - 2. The syntax of modal sentential calculi. - 3. Matrix semantics. - 4. Semantics for logical necessity. - 5. Semantics for S5. - 6. Relational world systems. - 7. Quantified modal logic. - 8. The semantics of quantified modal logic. - 9. Second-order modal logic. - 10. Semantics of second-order modal logic ER -