Authors
Jouko A Vaananen
University of Helsinki
Abstract
We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.
Keywords Dependence logic  Independence friendly logic  Team
Categories (categorize this paper)
DOI 10.1007/s10849-009-9082-0
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: 71,231
Through your library

References found in this work BETA

The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Finite Partially-Ordered Quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.

View all 12 references / Add more references

Citations of this work BETA

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
Propositional Logics of Dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.
Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.

View all 32 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-02-16

Total views
74 ( #157,444 of 2,518,147 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,147 )

How can I increase my downloads?

Downloads

My notes