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.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Abramsky, S., & Väänänen, J. (2009). From IF to BI: A tale of dependence and separation. Synthese, 167(2, Knowledge, Rationality & Action), 207–230.
Armstrong, W. W. (1974). Dependency structures of data base relationships. In: Information processing 74, proceedings of IFIP congress, Stockholm, 1974 (pp. 580–583). Amsterdam: North-Holland.
Barwise J. (1979) On branching quantifiers in English. Journal of Philosophical Logic 8(1): 47–80
Beeri, C., Fagin, R., & Howard, J. (1977). A complete axiomatization for functional and multivalued dependencies in database relations. In: Proceedings of the 1977 ACM SIGMOD international conference on Management of data (p. 61).
Davies M. (1989) Two examiners marked six scripts. Interpretations of numerically quantified sentences. Linguistics and Philosophy 12(3): 293–323
Fagin R. (1977) Multivalued dependencies and a new normal form for relational databases. ACM Transactions on Database Systems (TODS) 2(3): 262–278
Galliani, P. (2011). Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information. ArXiv e-prints.
Gierasimczuk N., Szymanik J. (2009) Branching quantification vs. Two-way quantification. Journal of Semantics 26(4): 329–366
Grädel, E., & Väänänen, J. (2011). Dependence and independence. To be published in Studia Logica.
Henkin, L. (1961). Some remarks on infinitely long formulas. In: Infinitistic methods. Proceedings of the Symposium. Foundations of Mathematics, Warsaw, 1959 (pp. 167–183). Oxford: Pergamon.
Hintikka J. (1974) Quantifiers vs quantification theory. Linguistic Inquiry V: 153–177
Hodges W. (1997) Compositional semantics for a language of imperfect information. Logic Journal of IGPL 5(4): 539–563
Hodges, W. (2008). Logics of imperfect information: Why sets of assignments?. In J. van Benthem, D. Gabbay, & B. Löwe (Eds.), Interactive Logic, selected papers from the 7th Augustus de Morgan Workshop, London (pp. 117–133).
Kontinen J., Väänänen J. (2009) On definability in dependence logic. Journal of Logic, Language and Information 18(3): 317–332
Krynicki M. (1993) Hierarchies of partially ordered connectives and quantifiers. Mathematical Logic Quarterly 39(1): 287–294
Lindström P. (1966) First order predicate logic with generalized quantifiers. Theoria 32: 186–195
Montague, R. (1970). English as a formal language. In: Linguaggi nella società e nella tecnica (pp. 189–223). Mailand.
Mostowski A. (1957) On a generalization of quantifiers. Fundamenta mathematicae 44: 12–36
Peters S., Westerståhl D. (2006) Quantifiers in Language and Logic. Oxford University Press
Sagiv Y., Walecka S.F. (1982) Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. Journal of the Association for Computing Machinery 29(1): 103–117
Sher G. (1990) Ways of branching quantifers. Linguistics and Philosophy 13(4): 393–422
Väänänen, J. (2007). Dependence logic: A new approach to independence friendly logic, London Mathematical Society Student Texts (Vol. 70). Cambridge: Cambridge University Press.
Westerståhl D. (1987). Branching generalized quantifiers and natural language. Generalized quantifiers: Linguistic and logical approaches (pp. 109–150).
About this article
Cite this article
Engström, F. Generalized Quantifiers in Dependence Logic. J of Log Lang and Inf 21, 299–324 (2012). https://doi.org/10.1007/s10849-012-9162-4
- Dependence logic
- Independence friendly logic
- Generalized quantifiers
- Multi valued dependence