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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Inclusion and Exclusion Dependencies in Team Semantics—on Some Logics of Imperfect Information.Pietro Galliani - 2012 - Annals of Pure and Applied Logic 163 (1):68-84.
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.
Similar books and articles
Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Dependence Logic: A New Approach to Independence Friendly Logic.Jouko Väänänen - 2007 - Cambridge University Press.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
Expressing Second-Order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
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 ( #537,187 of 2,518,713 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,713 )
2013-03-01
Total views
21 ( #537,187 of 2,518,713 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,713 )
How can I increase my downloads?
Downloads