Propositional logics of dependence

DOI10.1016/J.APAL.2016.03.003MaRDI QIDQ278765zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen, Fan Yang

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

team semanticsinquisitive logicnon-classical logicpropositional dependence logic

Mathematics Subject Classification ID

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

Abstract: In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.

Recommendations

• Logics for propositional determinacy and independence
• Modal dependence logics: axiomatizations and model-theoretic properties
• Structural completeness in propositional logics of dependence
• Propositional team logics
• Axiomatizing propositional dependence logics

Cites work

• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• Axiomatizing first-order consequences in dependence logic
• Axiomatizing propositional dependence logics
• Complexity of model checking for modal dependence logic
• Complexity of validity for propositional dependence logics
• Complexity results for modal dependence logic
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Dependency as question entailment
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Expressing second-order sentences in intuitionistic dependence logic
• Extended modal dependence logic \(\mathcal{EMDL}\)
• From IF to BI. A tale of dependence and separation
• General models and entailment semantics for independence logic
• Inquisitive logic
• Lower bounds for multiplayer noncooperative games of incomplete information
• Modal dependence logic
• Model checking for modal intuitionistic dependence logic
• On definability in dependence logic
• On maximal intermediate logics with the disjunction property
• Quantum team logic and Bell's inequalities
• Some combinatorics of imperfect information
• The doxastic interpretation of team semantics
• The expressive power of modal dependence logic

Cited in

(53)

• Deciding dependence in logic and algebra
• Modal logics and local quantifiers: a zoo in the elementary hierarchy
• Esakia duals of regular Heyting algebras
• Intermediate logics in the setting of team semantics
• Learning by intervention in simple causal domains
• scientific article; zbMATH DE number 3978447 (Why is no real title available?)
• The decidability of dependency in intuitionistic propositional logic
• Uniform definability in propositional dependence logic
• Diversity, dependence and independence
• Axiomatizing propositional dependence logics
• scientific article; zbMATH DE number 810104 (Why is no real title available?)
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Revisiting Semilattice Semantics
• A formal system for propositional extended IF logic
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• Embedding causal team languages into predicate logic
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Dependently Sorted Logic
• Iterated team semantics for a hierarchy of informational types
• On the complexity of linear temporal logic with team semantics
• Expressivity and Complexity of Dependence Logic
• On intermediate inquisitive and dependence logics: an algebraic study
• On the succinctness of atoms of dependency
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• Bisimulation in inquisitive modal logic
• Questions and dependency in intuitionistic logic
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• Disjunction and existence properties in inquisitive first-order logic
• A logic of ``black box classifier systems
• Dependence statements are strict conditionals
• Logics for propositional determinacy and independence
• Axiomatizations of team logics
• Complexity of Propositional Independence and Inclusion Logic
• Propositional union closed team logics
• Propositional inquisitive logic: a survey
• A dependent dependency calculus
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)
• Axiomatizations for propositional and modal team logic
• A simple logic of functional dependence
• Conditional independence in propositional logic.
• Propositional team logics
• Coherence in inquisitive first-order logic
• Structural completeness in propositional logics of dependence
• A Multi-type Calculus for Inquisitive Logic
• INQUISITIVE BISIMULATION
• Approximation and dependence via multiteam semantics
• On natural deduction in dependence logic
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Modal information logics: axiomatizations and decidability
• Complexity thresholds in inclusion logic
• A finite axiomatization of conditional independence and inclusion dependencies

This page was built for publication: Propositional logics of dependence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q278765)