Questions as information types

DOI10.1007/S11229-016-1221-YMaRDI QIDQ1708968zbMATH OpenOpenAlexWikidataFDO

Authors Ivano A. Ciardelli

Publication date 27 March 2018

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-016-1221-y

zbMATH Keywords

dependencyinquisitive logicproofs-as-programsquestions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Recommendations

• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
• Dependency as question entailment
• Questions, inferences, and scenarios
• scientific article; zbMATH DE number 49162
• Toward a dynamic logic of questions

Cites work

• A first-order inquisitive semantics
• A generalization of inquisitive semantics
• A modal interpretation of the logic of interrogation
• Algebraic foundations for the semantic treatment of inquisitive content
• Constructivism in mathematics. An introduction. Volume I
• Dependence logic. A new approach to independence friendly logic
• Dependency as question entailment
• From IF to BI. A tale of dependence and separation
• From worlds to possibilities
• Functionality in Combinatory Logic
• scientific article; zbMATH DE number 3122423 (Why is no real title available?)
• scientific article; zbMATH DE number 4012582 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 3537646 (Why is no real title available?)
• scientific article; zbMATH DE number 549968 (Why is no real title available?)
• scientific article; zbMATH DE number 6900695 (Why is no real title available?)
• scientific article; zbMATH DE number 1435792 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Inferential erotetic logic meets inquisitive semantics
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• Inquisitive Semantics: Two Possibilities for Disjunction
• On the semantics and logic of declaratives and interrogatives
• Partiality and adjointness in modal logic
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Towards a Logic of Information Exchange
• Towards a suppositional inquisitive semantics
• Vagueness, truth and logic
• Weak negation in inquisitive semantics

Cited in

(23)

• The logic of how-questions
• Inquisitive propositional dynamic logic
• Inquisitive logic as an epistemic logic of knowing how
• Questions and dependency in intuitionistic logic
• Disjunction and existence properties in inquisitive first-order logic
• Free choice in modal inquisitive logic
• A Multi-type Calculus for Inquisitive Logic
• Bisimulation in inquisitive modal logic
• scientific article; zbMATH DE number 4074846 (Why is no real title available?)
• Useful information and questionnaires
• Generalized entailments
• Question meaning = resolution conditions
• INQUISITIVE BISIMULATION
• What is a question?
• Dependency as question entailment
• SUBSTRUCTURAL INQUISITIVE LOGICS
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC
• Modus ponens and the logic of decision
• Fatalism and the logic of unconditionals
• Information types in intuitionistic predicate logic with constant domains
• Bounded inquisitive logics: sequent calculi and schematic validity
• Inquisitive conditional logics
• A relevant logic of questions

This page was built for publication: Questions as information types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708968)