Inquisitive logic

DOI10.1007/s10992-010-9142-6zbMath1214.03019MaRDI QIDQ626493

Floris Roelofsen, Ivano A. Ciardelli

Publication date: 18 February 2011

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/inquisitive-logic(390649da-849f-45af-a7a2-dc9e37e41d23).html

zbMATH Keywords

intuitionistic logic; intermediate logics; inquisitive logic; inquisitive semantics; Medvedev logic

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B20: Subsystems of classical logic (including intuitionistic logic)

03B55: Intermediate logics

Related Items

Generalized Entailments, Erotetic Epistemic Logic, Question Meaning = Resolution Conditions, Fuzzy intensional semantics, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, Being Permitted, Inconsistencies, and Question Raising, Automated Generation of Erotetic Search Scenarios, SUBSTRUCTURAL INQUISITIVE LOGICS, UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC, Propositional logics of dependence, Weak negation in inquisitive semantics, A generalization of inquisitive semantics, Structural completeness in propositional logics of dependence, Algebraic foundations for the semantic treatment of inquisitive content, Inferential erotetic logic meets inquisitive semantics, The interrogative model of inquiry meets dynamic epistemic logics, Inquisitive dynamic epistemic logic, On the semantics and logic of declaratives and interrogatives, A uniform semantics for embedded interrogatives: \textit{an} answer, not necessarily \textit{the} answer, Propositional team logics, Toward a dynamic logic of questions, Questions as information types, Support and sets of situations, Supercover semantics for deontic action logic, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), A Multi-type Calculus for Inquisitive Logic, Algebraic Foundations for Inquisitive Semantics, Deontic Conflicts and Multiple Violations, Towards a Suppositional Inquisitive Semantics

Cites Work

• Some results on intermediate constructive logics
• The information in intuitionistic logic
• On maximal intermediate logics with the disjunction property
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Towards a Suppositional Inquisitive Semantics
• Inquisitive Semantics: Two Possibilities for Disjunction
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item