Questions and dependency in intuitionistic logic
From MaRDI portal
Publication:2176408
DOI10.1215/00294527-2019-0033zbMATH Open1453.03025arXiv1704.01866OpenAlexW2605728087MaRDI QIDQ2176408FDOQ2176408
Authors: Rosalie Iemhoff, Fan Yang, Ivano A. Ciardelli 
Publication date: 4 May 2020
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1704.01866
Recommendations
Other nonclassical logic (03B60) Logic of natural languages (03B65) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Dependence and independence
- Dependence logic. A new approach to independence friendly logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Expressing second-order sentences in intuitionistic dependence logic
- Propositional logics of dependence
- Extended modal dependence logic \(\mathcal{EMDL}\)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal dependence logic
- Dependency as question entailment
- Inquisitive logic
- From IF to BI. A tale of dependence and separation
- Title not available (Why is that?)
- Weak negation in inquisitive semantics
- A generalization of inquisitive semantics
- Algebras of information states
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Characterizing frame definability in team semantics via the universal modality
- Inquisitive dynamic epistemic logic
- On the semantics and logic of declaratives and interrogatives
- A Van Benthem Theorem for Modal Team Semantics
- Propositional team logics
- Propositional inquisitive logic: a survey
- Questions as information types
- SUBSTRUCTURAL INQUISITIVE LOGICS
- A Multi-type Calculus for Inquisitive Logic
- Modal dependence logics: axiomatizations and model-theoretic properties
- Modalities in the realm of questions: axiomatizing inquisitive epistemic logic
- Characterizing relative frame definability in team semantics via the universal modality
- Bisimulation in inquisitive modal logic
Cited In (13)
- A relevant logic of questions
- On intermediate inquisitive and dependence logics: an algebraic study
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
- Intermediate logics in the setting of team semantics
- Modular SAT-based techniques for reasoning tasks in team semantics
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
- Dependency as question entailment
- Expressing second-order sentences in intuitionistic dependence logic
- Inquisitive logic as an epistemic logic of knowing how
- Inquisitive Heyting algebras
- Completeness for the classical antecedent fragment of inquisitive first-order logic
- Structural completeness and superintuitionistic inquisitive logics
- Question dependency in terms of compliance and erotetic implication
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)
