Normal view MARC view ISBD view

Modal logic : an introduction to its syntax and semantics / Nino B. Cocchiarella and Max A. Freund.

By: Cocchiarella, Nino B.
Contributor(s): Freund, Max A, 1954-.
Publisher: Oxford : Oxford University Press, c2008Description: xi, 268 p. ; 25 cm.ISBN: 9780195366587 (hbk.); 9780195366570 (pbk. ).Subject(s): Modality (Logic)DDC classification: 160
Contents:
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.
Item type Current location Call number Copy number Status Notes Date due Barcode
Main Collection Taylor's Library-TC
160 COC (Browse shelf) 1 Available CALSH,25000,03,GR 5000096140

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.

Thinking Skills : 9694