02383nam 2200589 a 450 991078212610332120230721032704.00-19-536657-31-281-52938-997866115293830-19-971063-5(CKB)1000000000537190(EBL)415541(OCoLC)437093887(SSID)ssj0000203883(PQKBManifestationID)11208782(PQKBTitleCode)TC0000203883(PQKBWorkID)10152152(PQKB)10284496(StDuBDS)EDZ0000023852(MiAaPQ)EBC415541(Au-PeEL)EBL415541(CaPaEBR)ebr10246251(CaONFJC)MIL152938(EXLCZ)99100000000053719020080226d2008 uy 0engur|n|---|||||txtccrModal logic[electronic resource] an introduction to its syntax and semantics /Nino B. Cocchiarella and Max A. FreundOxford ;New York Oxford University Press20081 online resource (283 p.)Description based upon print version of record.0-19-985189-1 0-19-536658-1 Includes bibliographical references (p. 257-261) and index.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; Afterword; Bibliography; Index1. Introduction. 2. The Syntax of Modal Sentential Calculi. 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. Afterword. Bibliography. IndexModality (Logic)Modality (Logic)160Cocchiarella Nino B309732Freund Max A.1954-884259MiAaPQMiAaPQMiAaPQBOOK9910782126103321Modal logic3777976UNINA