Logics for Propositional Determinacy and Independence
Logic
2017-12-05 v2 Logic in Computer Science
Abstract
This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyze the relative expressive powers of these four logics and discuss the way these systems relate to natural language. We argue that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I. We also obtain sound and complete axiomatizations for L_D and L_I.
Keywords
Cite
@article{arxiv.1609.07398,
title = {Logics for Propositional Determinacy and Independence},
author = {Valentin Goranko and Antti Kuusisto},
journal= {arXiv preprint arXiv:1609.07398},
year = {2017}
}