Modal logic [[electronic resource] ] : an introduction to its syntax and semantics / / Nino B. Cocchiarella and Max A. Freund
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Cocchiarella Nino B
|
| Titolo: |
Modal logic [[electronic resource] ] : an introduction to its syntax and semantics / / Nino B. Cocchiarella and Max A. Freund
|
| Pubblicazione: | Oxford ; ; New York, : Oxford University Press, 2008 |
| Descrizione fisica: | 1 online resource (283 p.) |
| Disciplina: | 160 |
| Soggetto topico: | Modality (Logic) |
| Altri autori: |
FreundMax A. <1954->
|
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references (p. 257-261) and index. |
| Nota di contenuto: | 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; Index |
| Sommario/riassunto: | 1. 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 |
| Titolo autorizzato: | Modal logic |
| ISBN: | 0-19-536657-3 |
| 1-281-52938-9 | |
| 9786611529383 | |
| 0-19-971063-5 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910782126103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |