Validity and Entailment in Modal and Propositional Dependence Logics

Miika Hannula. Validity and Entailment in Modal and Propositional Dependence Logics. In Valentin Goranko, Mads Dam, editors, 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden. Volume 82 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.