Structural completeness in propositional logics of dependence
From MaRDI portal
Publication:334998
DOI10.1007/s00153-016-0505-8zbMath1358.03037arXiv1509.03671OpenAlexW2272442535MaRDI QIDQ334998
Publication date: 1 November 2016
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.03671
propositional logicinference ruleadmissible ruledependence logicinquisitive logicstructural completeness
Related Items (8)
Propositional union closed team logics ⋮ Embedding causal team languages into predicate logic ⋮ On the complexity of linear temporal logic with team semantics ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Propositional team logics ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Inquisitive Heyting algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional logics of dependence
- Consequence relations and admissible rules
- A double team semantics for generalized quantifiers
- A remark on Henkin sentences and their contraries
- Some results on intermediate constructive logics
- Inquisitive logic
- A remark on negation in dependence logic
- Admissibility of logical inference rules
- Complexity results for modal dependence logic
- On the admissible rules of intuitionistic propositional logic
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- Admissible Rules: From Characterizations to Applications
- Unification in intuitionistic logic
- Compositional semantics for a language of imperfect information
- The Expressive Power of Modal Dependence Logic
- Dependency as Question Entailment
- Axiomatizing Propositional Dependence Logics
- Admissible Rules of Modal Logics
This page was built for publication: Structural completeness in propositional logics of dependence