Questions and dependency in intuitionistic logic
From MaRDI portal
Publication:2176408
Abstract: In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic.
Recommendations
Cites work
- A generalization of inquisitive semantics
- A Multi-type Calculus for Inquisitive Logic
- A Van Benthem Theorem for Modal Team Semantics
- Algebras of information states
- Bisimulation in inquisitive modal logic
- Characterizing relative frame definability in team semantics via the universal modality
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Dependency as question entailment
- Expressing second-order sentences in intuitionistic dependence logic
- Extended modal dependence logic \(\mathcal{EMDL}\)
- From IF to BI. A tale of dependence and separation
- scientific article; zbMATH DE number 6680142 (Why is no real title available?)
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3464827 (Why is no real title available?)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Inquisitive dynamic epistemic logic
- Inquisitive logic
- Modal dependence logic
- Modal dependence logics: axiomatizations and model-theoretic properties
- Modalities in the realm of questions: axiomatizing inquisitive epistemic logic
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- On the semantics and logic of declaratives and interrogatives
- Propositional inquisitive logic: a survey
- Propositional logics of dependence
- Propositional team logics
- Questions as information types
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Weak negation in inquisitive semantics
Cited in
(21)- Expressing second-order sentences in intuitionistic dependence logic
- Inquisitive Heyting algebras
- Completeness for the classical antecedent fragment of inquisitive first-order logic
- On intermediate inquisitive and dependence logics: an algebraic study
- Inquisitive logic as an epistemic logic of knowing how
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
- Question dependency in terms of compliance and erotetic implication
- Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic
- Dependency as question entailment
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Structural completeness and superintuitionistic inquisitive logics
- Intermediate logics in the setting of team semantics
- Modular SAT-based techniques for reasoning tasks in team semantics
- Information types in intuitionistic predicate logic with constant domains
- Constructive validity of a generalized Kreisel-Putnam rule
- The flattening operator in team-based logics
- Inquisitive split and structural completeness
- State-based modal logics for free choice
- Geometric theories in inquisitive modal logic
- A proof-theoretic interpolation theorem for inquisitive propositional logic
- A relevant logic of questions
This page was built for publication: Questions and dependency in intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176408)
