Generalized Quantifiers in Dependence Logic
Journal of Logic, Language and Information 21 (3):299-324 (2012)
| Abstract | We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact definably equivalent to the independence atom recently introduced by Väänänen and Grädel | |||||||||
| Keywords | Dependence logic Independence friendly logic Generalized quantifiers Multi valued dependence | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTheo M. V. Janssen (2013). Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic. Studia Logica 101 (2):453-466.
Pietro Galliani (2013). Epistemic Operators in Dependence Logic. Studia Logica 101 (2):367-397.
Natasha Alechina & Michiel van Lambalgen (1996). Generalized Quantification as Substructural Logic. Journal of Symbolic Logic 61 (3):1006-1044.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Fredrik Engström & Juha Kontinen (2012). Characterizing Quantifier Extensions of Dependence Logic. arXiv 78 (1):307-316.
Juha Kontinen & Jouko Väänänen (2009). On Definability in Dependence Logic. Journal of Logic, Language and Information 18 (3).
Erich Grädel & Jouko Väänänen (2013). Dependence and Independence. Studia Logica 101 (2):399-410.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Gabriel Sandu (2012). Independendly-Friendly Logic: Dependence and Independence of Quantifiers in Logic. Philosophy Compass 7 (10):691-711.
Johan van Benthem & Dag Westerståhl (1995). Directions in Generalized Quantifier Theory. Studia Logica 55 (3):389-419.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Lauri Hella, Kerkko Luosto & Jouko Väänänen (1996). The Hierarchy Theorem for Generalized Quantifiers. Journal of Symbolic Logic 61 (3):802-817.
Lauri Hella, Jouko Väänänen & Dag Westerståhl (1997). Definability of Polyadic Lifts of Generalized Quantifiers. Journal of Logic, Language and Information 6 (3):305-335.
Juha Kontinen (2006). The Hierarchy Theorem for Second Order Generalized Quantifiers. Journal of Symbolic Logic 71 (1):188 - 202.
Analytics
Monthly downloads |
Added to index2012-03-09Total downloads14 ( #83,010 of 548,984 )Recent downloads (6 months)2 ( #37,320 of 548,984 )How can I increase my downloads? |
My notes
Discussion
