Questions as information types

DOI10.1007/s11229-016-1221-yzbMath1455.03038OpenAlexW2526811196WikidataQ59516701 ScholiaQ59516701MaRDI QIDQ1708968

Ivano A. Ciardelli

Publication date: 27 March 2018

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

inquisitive logicdependencyquestionsproofs-as-programs

Mathematics Subject Classification ID

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

Related Items (14)

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ A relevant logic of questions ⋮ Generalized Entailments ⋮ Question Meaning = Resolution Conditions ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Questions and dependency in intuitionistic logic ⋮ Modus ponens and the logic of decision ⋮ Free choice in modal inquisitive logic ⋮ Unnamed Item ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Disjunction and existence properties in inquisitive first-order logic ⋮ Inquisitive propositional dynamic logic ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ INQUISITIVE BISIMULATION

Cites Work

• Weak negation in inquisitive semantics
• A generalization of inquisitive semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Inferential erotetic logic meets inquisitive semantics
• Inquisitive dynamic epistemic logic
• On the semantics and logic of declaratives and interrogatives
• Inquisitive logic
• From IF to BI. A tale of dependence and separation
• A modal interpretation of the logic of interrogation
• From worlds to possibilities
• Constructivism in mathematics. An introduction. Volume I
• Vagueness, truth and logic
• Towards a Suppositional Inquisitive Semantics
• Inquisitive Semantics: Two Possibilities for Disjunction
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Functionality in Combinatory Logic
• Towards a Logic of Information Exchange
• A First-Order Inquisitive Semantics
• Dependency as Question Entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Questions as information types