Axiomatizing Propositional Dependence Logics
Axiomatizing Propositional Dependence Logics
Title | Axiomatizing Propositional Dependence Logics |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Sano K, Virtema J |
Conference Name | {CSL} |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
URL | https://arxiv.org/abs/1410.5038 |
Undefined