Propositional logics of dependence

DOI10.1016/j.apal.2016.03.003zbMath1355.03021arXiv1412.7998OpenAlexW2285760602MaRDI QIDQ278765

Fan Yang, Jouko Väänänen

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

zbMATH Keywords

inquisitive logicnon-classical logicpropositional dependence logicteam semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Logic in computer science (03B70)

Related Items (35)

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

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

This page was built for publication: Propositional logics of dependence