Propositional team logics

DOI10.1016/j.apal.2017.01.007zbMath1422.03058arXiv1606.03984OpenAlexW2441642482MaRDI QIDQ526967

Jouko Väänänen, Fan Yang

Publication date: 15 May 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.03984

zbMATH Keywords

dependence logicnon-classical logicteam semanticspropositional team logics

Mathematics Subject Classification ID

Database theory (68P15) Other nonclassical logic (03B60) Logic in computer science (03B70) Classical propositional logic (03B05)

Related Items (18)

Propositional union closed team logics ⋮ Axiomatizations of team logics ⋮ On definability of team relations with \(k\)-invariant atoms ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ Iterated team semantics for a hierarchy of informational types ⋮ Unnamed Item ⋮ Questions and dependency in intuitionistic logic ⋮ The logic of lexical connectives ⋮ Modified numerals and split disjunction: the first-order case ⋮ On the complexity of linear temporal logic with team semantics ⋮ Neglect-zero effects in dynamic semantics ⋮ Modal information logics: axiomatizations and decidability ⋮ Positive modal logic beyond distributivity ⋮ Esakia duals of regular Heyting algebras ⋮ An Acceptance Semantics for Stable Modal Knowledge ⋮ On the complexity of team logic and its two-variable fragment ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams

Cites Work

• Propositional logics of dependence
• Structural completeness in propositional logics of dependence
• 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
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• Complexity results for modal dependence logic
• Extended Modal Dependence Logic $\mathcal{EMDL}$
• Complexity of Model Checking for Modal Dependence Logic
• QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES
• Model-theoretic and Computational Properties of Modal Dependence Logic
• Compositional semantics for a language of imperfect information
• The Expressive Power of Modal Dependence Logic
• Model Checking for Modal Intuitionistic Dependence Logic
• The expressive power of modal logic with inclusion atoms
• Axiomatizations for Propositional and Modal Team Logic
• On Extensions of Elementary Logic
• Team Logic and Second-Order Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Propositional team logics