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