Questions and dependency in intuitionistic logic
From MaRDI portal
Publication:2176408
DOI10.1215/00294527-2019-0033zbMath1453.03025arXiv1704.01866OpenAlexW2605728087MaRDI QIDQ2176408
Fan Yang, Rosalie Iemhoff, Ivano A. Ciardelli
Publication date: 4 May 2020
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1704.01866
Other nonclassical logic (03B60) Logic of natural languages (03B65) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (7)
A relevant logic of questions ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Inquisitive logic as an epistemic logic of knowing how ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Inquisitive Heyting algebras ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional logics of dependence
- Weak negation in inquisitive semantics
- A generalization of inquisitive semantics
- Inquisitive dynamic epistemic logic
- On the semantics and logic of declaratives and interrogatives
- Propositional team logics
- Inquisitive logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- From IF to BI. A tale of dependence and separation
- Propositional inquisitive logic: a survey
- Questions as information types
- Dependence and independence
- Expressing second-order sentences in intuitionistic dependence logic
- Characterising modal definability of team-based logics via the universal modality
- A Multi-type Calculus for Inquisitive Logic
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- Algebras of Information States
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Modal dependence logics: axiomatizations and model-theoretic properties
- Dependency as Question Entailment
- A Van Benthem Theorem for Modal Team Semantics
- SUBSTRUCTURAL INQUISITIVE LOGICS
This page was built for publication: Questions and dependency in intuitionistic logic
