TY - GEN T1 - Axiomatizing Propositional Dependence Logics PY - 2014/10/19 AU - Sano K AU - Virtema J ED - Y2 - 2026/01/07 ER -