Scope dominance with upward monotone quantifiers
| Abstract | We give a complete characterization of the class of upward monotone generalized quantifiers ¢¡ and ¤£ over countable domains that satisfy the scheme . This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff ¡ is or £ is ! (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDag Westerståhl (1996). Self-Commuting Quantifiers. Journal of Symbolic Logic 61 (1):212-224.
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.
Fredrik Engström (2012). Generalized Quantifiers in Dependence Logic. Journal of Logic, Language and Information 21 (3):299-324.
Anna Szabolcsi (2010). Quantification. Cambridge University Press.
Jouko Väänänen & Dag Westerståhl (2002). On the Expressive Power of Monotone Natural Language Quantifiers Over Finite Models. Journal of Philosophical Logic 31 (4):327-358.
Jouko Väänänen (1997). Unary Quantifiers on Finite Models. Journal of Logic, Language and Information 6 (3):275-304.
Gilad Ben-Avi & Yoad Winter (2004). Scope Dominance with Monotone Quantifiers Over Finite Domains. Journal of Logic, Language and Information 13 (4).
Alon Altman, Ya'Acov Peterzil & Yoad Winter (2005). Scope Dominance with Upward Monotone Quantifiers. Journal of Logic, Language and Information 14 (4).
G. Y. Sher (1997). Partially-Ordered (Branching) Generalized Quantifiers: A General Definition. Journal of Philosophical Logic 26 (1):1-43.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,844 of 549,700 )Recent downloads (6 months)1 ( #63,425 of 549,700 )How can I increase my downloads? |
My notes
Discussion
