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
- 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?)
- A Multi-type Calculus for Inquisitive Logic
- A Van Benthem Theorem for Modal Team Semantics
- A generalization of inquisitive 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
- 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
(14)- Inquisitive Heyting algebras
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Completeness for the classical antecedent fragment of inquisitive first-order logic
- A relevant logic of questions
- Intermediate logics in the setting of team semantics
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
- Question dependency in terms of compliance and erotetic implication
- Dependency as question entailment
- On intermediate inquisitive and dependence logics: an algebraic study
- Expressing second-order sentences in intuitionistic dependence logic
- Modular SAT-based techniques for reasoning tasks in team semantics
- Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic
- Inquisitive logic as an epistemic logic of knowing how
- Structural completeness and superintuitionistic inquisitive logics
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)
