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
LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, INQUISITIVE BISIMULATION, Revisiting Semilattice Semantics, AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS, Unnamed Item, Expressivity and Complexity of Dependence Logic, Unnamed Item, UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC, Diversity, dependence and independence, Parameterised complexity of model checking and satisfiability in propositional dependence logic, Complexity thresholds in inclusion logic, A logic of ``black box classifier systems, COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES, Modal information logics: axiomatizations and decidability, Modal logics and local quantifiers: a zoo in the elementary hierarchy, Esakia duals of regular Heyting algebras, Structural completeness in propositional logics of dependence, Propositional team logics, Approximation and dependence via multiteam semantics, Team semantics for interventionist counterfactuals: observations vs. interventions, Characterizing counterfactuals and dependencies over (generalized) causal teams, Propositional union closed team logics, Coherence in inquisitive first-order logic, On intermediate inquisitive and dependence logics: an algebraic study, Iterated team semantics for a hierarchy of informational types, Embedding causal team languages into predicate logic, Questions and dependency in intuitionistic logic, On the complexity of linear temporal logic with team semantics, A simple logic of functional dependence, Disjunction and existence properties in inquisitive first-order logic, 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, Unnamed Item
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