Studia Logica 101 (2):367-397 (2013)

Abstract
The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the ${\forall^{1}}$ quantifier is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper
Keywords Epistemic operators  Uniform definability  Dependence logic  Imperfect information  Announcements
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-013-9478-3
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: 68,944
Through your library

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.
On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
Cylindric Modal Logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Independent Choices and the Interpretation of IF Logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.

View all 7 references / Add more references

Citations of this work BETA

Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
Dependence Logic: A Survey of Some Recent Work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
Separation Logic and Logics with Team Semantics.Darion Haase, Erich Grädel & Richard Wilke - forthcoming - Annals of Pure and Applied Logic:103063.

View all 6 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.
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.
Quantifiers as Modal Operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.
Probability Operators.Seth Yalcin - 2010 - Philosophy Compass 5 (11):916-37.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.

Analytics

Added to PP index
2013-03-13

Total views
61 ( #185,096 of 2,498,142 )

Recent downloads (6 months)
1 ( #427,476 of 2,498,142 )

How can I increase my downloads?

Downloads

My notes