Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli

• Autore: Ciardelli, Ivano
• Pubblicazione: 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
• Titolo autorizzato: Inquisitive Logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0277663
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-031-09706-5
• Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 60