Validity and Entailment in Modal and Propositional Dependence Logics (Logical Methods in Computer Science, 2019)