Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence. independence. inclusion. https://mqtimers.shop/product-category/han/