LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE

  • VALENTIN GORANKO, ANTTI KUUSISTO
  • The Review of Symbolic Logic, April 2018, Cambridge University Press
  • DOI: 10.1017/s1755020317000272

LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE

What is it about?

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 analyse 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.

Read Publication

http://dx.doi.org/10.1017/s1755020317000272

The following have contributed to this page: Valentin Goranko