 Axiomatizations for propositional dependence logic and many of its extensions can be found in (Yang &amp; Väänänen 2016); and the analysis of the computational complexity of this formalism (and of related propositional logics based on Team Semantics) can be found in (Virtema 2017; Hannula et al. 2018).