Validity and Entailment in Modal and Propositional Dependence Logics.

Miika Hannula

Browse the full CSL paper archive.