Propositional Logics of Dependence

Fan Yang; Jouko Väänänen

doi:10.1016/j.apal.2016.03.003

Propositional Logics of Dependence

Fan Yang^*
, Jouko Väänänen^*

^*Corresponding author for this work

OFR - Theoretical Philosophy

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

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.

Original language	English
Pages (from-to)	557-589
Journal	Annals of Pure and Applied Logic
Volume	167
Issue number	7
DOIs	https://doi.org/10.1016/j.apal.2016.03.003
Publication status	Published - Jul 2016

Access to Document

10.1016/j.apal.2016.03.003

1-s2.0-S0168007216300203-mainFinal published version, 678 KBLicence: Taverne

Cite this

@article{935b917ec0ce4812a48dbc066e9ee7a0,

title = "Propositional Logics of Dependence",

abstract = "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.",

author = "Fan Yang and Jouko V{\"a}{\"a}n{\"a}nen",

year = "2016",

month = jul,

doi = "10.1016/j.apal.2016.03.003",

language = "English",

volume = "167",

pages = "557--589",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "7",

}

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 -

Propositional Logics of Dependence

Abstract

Access to Document

Other files and links

Fingerprint

Cite this