Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli
| Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli |
| Autore | Ciardelli, Ivano |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xx, 272 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| Soggetto non controllato |
Connections with dependence logic
Connections with intuitionistic logic Dependence Logic How classical logic can be made inquisitive Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic Reasoning with questions Role of questions in logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277663 |
Ciardelli, Ivano
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli
| Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli |
| Autore | Ciardelli, Ivano |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xx, 272 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| Soggetto non controllato |
Connections with dependence logic
Connections with intuitionistic logic Dependence Logic How classical logic can be made inquisitive Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic Reasoning with questions Role of questions in logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277663 |
|
Ciardelli, Ivano
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||