Axiomatizations for Propositional and Modal Team Logic

DOI10.4230/LIPIcs.CSL.2016.33zbMath1370.03047OpenAlexW2533841325MaRDI QIDQ5278421

Martin Lück

Publication date: 19 July 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2016.33

zbMATH Keywords

proof systemaxiomatizationmodal team logicpropositional team logicteam logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Classical propositional logic (03B05)

Related Items (5)

Axiomatizations of team logics ⋮ On the complexity of the quantified bit-vector arithmetic with binary encoding ⋮ Unnamed Item ⋮ Propositional team logics ⋮ Canonical Models and the Complexity of Modal Team Logic

This page was built for publication: Axiomatizations for Propositional and Modal Team Logic