Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence. independence. inclusion. https://www.roneverhart.com/