Cocchiarella, Nino B.

Modal logic : an introduction to its syntax and semantics / Nino B. Cocchiarella and Max A. Freund. - Oxford : Oxford University Press, c2008. - xi, 268 p. ; 25 cm.

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.

9780195366587 (hbk.) 9780195366570 (pbk. )


Modality (Logic)

160 / COC