Validity and Entailment in Modal and Propositional Dependence Logics

Miika Hannula. Validity and Entailment in Modal and Propositional Dependence Logics. Logical Methods in Computer Science, 15(2), 2019. [doi]

Abstract

Abstract is missing.