QR Code

Inquisitive Logic

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as fa...

Description complète

Enregistré dans:
Publié dans:Trends in Logic
Auteur principal: Ciardelli, Ivano
Format: Livro
Langue:Inglês
Publié: Springer Nature 2022
Sujets:
Logic of Questions
Inquisitive Logic
Information Semantics
Logic of Dependency
Dependence Logic
Intuitionistic Logic
Proofs-as-Programs
Information Types
role of questions in logic
Questions in propositional logic
reasoning with questions
Questions in first-order logic
Questions in modal logic
Connections with intuitionistic logic
Connections with dependence logic
how classical logic can be made inquisitive
connection inquisitive, intuitionistic, dependence logic
Accès en ligne:https://directory.doabooks.org/handle/20.500.12854/98517
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires