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

inquisitive logicdependencyquestionsproofs-as-programs

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

• 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?)
• 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
• Inferential erotetic logic meets inquisitive semantics
• Inquisitive Semantics: Two Possibilities for Disjunction
• Inquisitive dynamic epistemic logic
• Inquisitive logic
• 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

(20)

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

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)