Annals of Pure and Applied Logic 164 (11):1101-1117 (2013)
Authors |
|
Abstract |
Dependence logic, introduced in Väänänen [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1016/j.apal.2013.05.006 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Dependence Logic: A New Approach to Independence Friendly Logic.Jouko Väänänen - 2007 - Cambridge University Press.
Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
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.
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited.Fan Yang - 2019 - Annals of Pure and Applied Logic 170 (9):1128-1149.
A Logical Approach to Context-Specific Independence.Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar & Jouko Väänänen - 2019 - Annals of Pure and Applied Logic 170 (9):975-992.
Axiomatizing First-Order Consequences in Independence Logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
Axiomatizing First Order Consequences in Inclusion Logic.Fan Yang - 2020 - Mathematical Logic Quarterly 66 (2):195-216.
View all 11 citations / Add more citations
Similar books and articles
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Expressing Second-Order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
Dependence Logic: A New Approach to Independence Friendly Logic.Jouko Väänänen - 2007 - Cambridge University Press.
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
Dependence Logic: A Survey of Some Recent Work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
Transition Semantics: The Dynamics of Dependence Logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Axiomatizing the Monodic Fragment of First-Order Temporal Logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
Complexity Results for Modal Dependence Logic.Peter Lohmann & Heribert Vollmer - 2013 - Studia Logica 101 (2):343-366.
Erratum To: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Axiomatizing Higher-Order Kleene Realizability.Jaap van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):87-111.
Analytics
Added to PP index
2013-12-12
Total views
40 ( #285,771 of 2,519,861 )
Recent downloads (6 months)
5 ( #137,465 of 2,519,861 )
2013-12-12
Total views
40 ( #285,771 of 2,519,861 )
Recent downloads (6 months)
5 ( #137,465 of 2,519,861 )
How can I increase my downloads?
Downloads