Lück, Martin; Vilander, Mikka
(Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2019)
Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed in it, but for all atoms except dependence ...