Inquisitive logic

DOI10.1007/s10992-010-9142-6zbMath1214.03019OpenAlexW3188716551MaRDI 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

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC ⋮ Automated Generation of Erotetic Search Scenarios ⋮ Propositional logics of dependence ⋮ A relevant logic of questions ⋮ Agential free choice ⋮ Propositional union closed team logics ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ Weak negation in inquisitive semantics ⋮ A generalization of inquisitive semantics ⋮ Deontic Conflicts and Multiple Violations ⋮ Towards a Suppositional Inquisitive Semantics ⋮ Structural completeness in propositional logics of dependence ⋮ Coherence in inquisitive first-order logic ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ Generalized Entailments ⋮ Erotetic Epistemic Logic ⋮ Question Meaning = Resolution Conditions ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ Questions and dependency in intuitionistic logic ⋮ Modified numerals and split disjunction: the first-order case ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Intuitionistic conditional logics ⋮ Modus ponens and the logic of decision ⋮ Esakia duals of regular Heyting algebras ⋮ Action models in inquisitive logic ⋮ Free choice in modal inquisitive logic ⋮ Unnamed Item ⋮ Questions as information types ⋮ Unnamed Item ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Algebraic foundations for the semantic treatment of inquisitive content ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Fuzzy intensional semantics ⋮ 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 ⋮ Support and sets of situations ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Inquisitive propositional dynamic logic ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Dependency as Question Entailment ⋮ Avoiding Impossibility Theorems in Radical Inquisitive Semantics ⋮ Supervenience, Dependence, Disjunction ⋮ A Multi-type Calculus for Inquisitive Logic ⋮ Algebraic Foundations for Inquisitive Semantics ⋮ Inquisitive Heyting algebras ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic ⋮ Supercover semantics for deontic action logic ⋮ Being Permitted, Inconsistencies, and Question Raising ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams ⋮ INQUISITIVE BISIMULATION ⋮ Revisiting Semilattice Semantics

Cites Work