Logics for Propositional Determinacy and Independence

DOI10.1017/S1755020317000272MaRDI QIDQ6277858arXivWikidataFDO

Authors Valentin Goranko, Antti Kuusisto

Publication date 23 September 2016

Published in arXiv

Full work available at URL https://doi.org/10.1017/S1755020317000272

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic of natural languages (03B65)

arXiv classification

cs.LO math.LO

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.

This page was built for publication: Logics for Propositional Determinacy and Independence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6277858)