TY - RPRT TI - Validity and Entailment in Modal and Propositional Dependence Logics AU - Miika Hannula PY - 2019 DO - 10.23638/lmcs-15(2:4)2019 UR - https://arxiv.org/abs/1608.04301 ID - 1608.04301 ER -