Sano, Katsuhiko; Virtema, Jonni
(Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional ...