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

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
Keywords dependence logic   independence logic   proof theory
Categories (categorize this paper)
DOI 10.1215/00294527-1960506
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,089
Through your library

References found in this work BETA

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

Citations of this work BETA

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

Similar books and articles

Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.

Analytics

Added to PP index
2013-03-01

Total views
21 ( #531,949 of 2,499,034 )

Recent downloads (6 months)
1 ( #419,059 of 2,499,034 )

How can I increase my downloads?

Downloads

My notes