The Axioms of Team Logic
Martin Lück · arXiv (Cornell University) · 2016
A framework is developed that extends calculi for propositional, modal and predicate logics to calculi for team-based logics. This method is applied to classical and quantified propositional logic, first-order logic and the modal logic K. Complete axiomatizations for propositional team logic PTL, quantified propositional team logic QPTL, modal team logic MTL and the dependence-atom-free fragment of first-order team logic TL are presented.