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.