Axiomatizations of team logics

DOI10.1016/j.apal.2018.04.010zbMath1469.03085arXiv1602.05040OpenAlexW2795306477WikidataQ129733936 ScholiaQ129733936MaRDI QIDQ2636536

Martin Lück

Publication date: 5 June 2018

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

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

zbMATH Keywords

completenessaxiomatizationdependence logicmodal team logicpropositional team logicteam logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (8)

Axiomatizations of team logics ⋮ On the expressive power of TeamLTL and first-order team logic over hyperproperties ⋮ On elementary logics for quantitative dependencies ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Unnamed Item ⋮ On the complexity of team logic and its two-variable fragment ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Does the deduction theorem fail for modal logic?
• Axiomatizing first-order consequences in dependence logic
• Propositional team logics
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Proof methods for modal and intuitionistic logics
• Dependence and independence
• Negation and partial axiomatizations of dependence and independence logic revisited
• Axiomatizations of team logics
• Extended Modal Dependence Logic $\mathcal{EMDL}$
• Complexity of Propositional Independence and Inclusion Logic
• Modal Inclusion Logic: Being Lax is Simpler than Being Strict
• Compositional semantics for a language of imperfect information
• The expressive power of modal logic with inclusion atoms
• Modal dependence logics: axiomatizations and model-theoretic properties
• Validity and entailment in modal and propositional dependence logics
• On Strongly First-Order Dependencies
• Axiomatizations for Propositional and Modal Team Logic
• A Van Benthem Theorem for Modal Team Semantics
• Axiomatizing Propositional Dependence Logics
• Team Logic and Second-Order Logic

This page was built for publication: Axiomatizations of team logics