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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,436
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - citeseerx.ist.psu.edu (no proxy)
- linkinghub.elsevier.com (no proxy)
- sciencedirect.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
