LEADER 02383nam  2200589 a 450 
001 9910782126103321
005 20230721032704.0
010   $a0-19-536657-3
010   $a1-281-52938-9
010   $a9786611529383
010   $a0-19-971063-5
035   $a(CKB)1000000000537190
035   $a(EBL)415541
035   $a(OCoLC)437093887
035   $a(SSID)ssj0000203883
035   $a(PQKBManifestationID)11208782
035   $a(PQKBTitleCode)TC0000203883
035   $a(PQKBWorkID)10152152
035   $a(PQKB)10284496
035   $a(StDuBDS)EDZ0000023852
035   $a(MiAaPQ)EBC415541
035   $a(Au-PeEL)EBL415541
035   $a(CaPaEBR)ebr10246251
035   $a(CaONFJC)MIL152938
035   $a(EXLCZ)991000000000537190
100   $a20080226d2008      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aModal logic$b[electronic resource] $ean introduction to its syntax and semantics /$fNino B. Cocchiarella and Max A. Freund
210   $aOxford ;$aNew York $cOxford University Press$d2008
215   $a1 online resource (283 p.)
300   $aDescription based upon print version of record.
311   $a0-19-985189-1 
311   $a0-19-536658-1 
320   $aIncludes bibliographical references (p. 257-261) and index.
327   $aContents; 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; Index
330   $a1. 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. Index
606   $aModality (Logic)
615  0$aModality (Logic)
676   $a160
700   $aCocchiarella$b Nino B$0309732
701   $aFreund$b Max A.$f1954-$0884259
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910782126103321
996   $aModal logic$93777976
997   $aUNINA