 Many of the variants and generalizations of first order dependence logic can be lowered to the propositional level without any difficulty: thus, for example, it is possible to study the properties of propositional inclusion logic, propositional team logic, propositional intuitionistic dependence logic and so on.