Propositional logics of dependence

DOI10.1016/j.apal.2016.03.003zbMath1355.03021arXiv1412.7998MaRDI 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 logic; non-classical logic; propositional dependence logic; team semantics

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B65: Logic of natural languages

03B70: Logic in computer science

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