General Models and Entailment Semantics for Independence Logic

We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.

[1]  J. Väänänen,et al.  Modal Dependence Logic , 2008 .

[2]  Juha Kontinen,et al.  On Definability in Dependence Logic , 2009, J. Log. Lang. Inf..

[3]  Juha Kontinen,et al.  Axiomatizing first order consequences in dependence logic , 2012, Ann. Pure Appl. Log..

[4]  Wilfrid Hodges,et al.  Compositional Semantics for a Language of Imperfect Information , 1997, Log. J. IGPL.

[5]  Peter J. Cameron,et al.  Some combinatorics of imperfect information , 2001, Journal of Symbolic Logic.

[6]  Ville Nurmi,et al.  Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams , 2009 .

[7]  Samson Abramsky,et al.  From IF to BI: a tale of dependence and separation , 2011, ArXiv.

[8]  Janeen Baxter,et al.  DEPENDENCE AND INDEPENDENCE , 1995 .

[9]  E. G. K. López-Escobar.  Formalizing a non-linear Henkin quantifier , 1991 .

[10]  李幼升,et al.  Ph , 1989 .

[11]  Tero Tulenheimo,et al.  Independence-Friendly Modal Logic. Studies in its Expressive Power and Theoretical Relevance. , 2004 .

[12]  Fredrik Engström,et al.  Generalized Quantifiers in Dependence Logic , 2012, J. Log. Lang. Inf..

[13]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .

[14]  Erich Grädel,et al.  Dependence and Independence , 2012, Stud Logica.

[15]  Jouko Väänänen,et al.  Team Logic , 2007 .

[16]  Jouko A. Väänänen,et al.  Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.

[17]  Jarmo Kontinen.  Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas , 2013, Stud Logica.

[18]  Pietro Galliani,et al.  Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information , 2011, Ann. Pure Appl. Log..

[19]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.