Text this: Validity and Entailment in Modal and Propositional Dependence Logics