Propositional logics of dependence
From MaRDI portal
Publication:278765
DOI10.1016/j.apal.2016.03.003zbMath1355.03021arXiv1412.7998MaRDI QIDQ278765
Publication date: 2 May 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.7998
Related Items
UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC, Structural completeness in propositional logics of dependence, Propositional team logics, A finite axiomatization of conditional independence and inclusion dependencies, Axiomatizations of team logics, A Multi-type Calculus for Inquisitive Logic, Complexity of Propositional Independence and Inclusion Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Axiomatizing first-order consequences in dependence logic
- Inquisitive logic
- On definability in dependence logic
- From IF to BI. A tale of dependence and separation
- On maximal intermediate logics with the disjunction property
- General models and entailment semantics for independence logic
- Dependence and independence
- Expressing second-order sentences in intuitionistic dependence logic
- Complexity results for modal dependence logic
- Some combinatorics of imperfect information
- Extended Modal Dependence Logic $\mathcal{EMDL}$
- Complexity of Model Checking for Modal Dependence Logic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
- The Expressive Power of Modal Dependence Logic
- Model Checking for Modal Intuitionistic Dependence Logic
- The Doxastic Interpretation of Team Semantics
- Dependency as Question Entailment
- Axiomatizing Propositional Dependence Logics
- Lower bounds for multiplayer noncooperative games of incomplete information