Axiomatizing first-order consequences in dependence logic

Annals of Pure and Applied Logic 164 (11):1101-1117 (2013)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,592

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

On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
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 survey of some recent work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
Erratum to: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
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
2013-12-12

Downloads
46 (#290,852)

6 months
5 (#193,533)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

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 inclusion logic.Fan Yang - 2020 - Mathematical Logic Quarterly 66 (2):195-216.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.

View all 12 citations / Add more citations

References found in this work

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.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.

Add more references