General Models and Entailment Semantics for Independence Logic

Notre Dame Journal of Formal Logic 54 (2):253-275 (2013)
  Copy   BIBTEX

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.

Analytics

Added to PP
2013-03-01

Downloads
46 (#484,816)

6 months
11 (#359,362)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Propositional logics of dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
Dependence Logic: A survey of some recent work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.

View all 12 references / Add more references