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]

Authors

Miika Hannula

This author has not been identified. Look up 'Miika Hannula' in Google