Modal logic [[electronic resource] ] : an introduction to its syntax and semantics / / Nino B. Cocchiarella and Max A. Freund |
Autore | Cocchiarella Nino B |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (283 p.) |
Disciplina | 160 |
Altri autori (Persone) | FreundMax A. <1954-> |
Soggetto topico | Modality (Logic) |
Soggetto genere / forma | Electronic books. |
ISBN |
0-19-536657-3
1-281-52938-9 9786611529383 0-19-971063-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910454097803321 |
Cocchiarella Nino B
![]() |
||
Oxford ; ; New York, : Oxford University Press, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Modal logic [[electronic resource] ] : an introduction to its syntax and semantics / / Nino B. Cocchiarella and Max A. Freund |
Autore | Cocchiarella Nino B |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (283 p.) |
Disciplina | 160 |
Altri autori (Persone) | FreundMax A. <1954-> |
Soggetto topico | Modality (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 | eng |
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 |
Record Nr. | UNINA-9910782126103321 |
Cocchiarella Nino B
![]() |
||
Oxford ; ; New York, : Oxford University Press, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Modal logic [[electronic resource] ] : an introduction to its syntax and semantics / / Nino B. Cocchiarella and Max A. Freund |
Autore | Cocchiarella Nino B |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2008 |
Descrizione fisica | 1 online resource (283 p.) |
Disciplina | 160 |
Altri autori (Persone) | FreundMax A. <1954-> |
Soggetto topico | Modality (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 | eng |
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 |
Record Nr. | UNINA-9910816743903321 |
Cocchiarella Nino B
![]() |
||
Oxford ; ; New York, : Oxford University Press, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|