TY - JOUR
T1 - Propositional Logics of Dependence
AU - Yang, Fan
AU - Väänänen, Jouko
PY - 2016/7
Y1 - 2016/7
N2 - In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as proposi-tional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.
AB - In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as proposi-tional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.
UR - https://researchportal.helsinki.fi/en/publications/061c1f4c-5bc1-4a51-adcb-c3b272571b89
U2 - 10.1016/j.apal.2016.03.003
DO - 10.1016/j.apal.2016.03.003
M3 - Article
SN - 0168-0072
VL - 167
SP - 557
EP - 589
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 7
ER -