Questions about quantifiers

DOI10.2307/2274176zbMath0573.03008OpenAlexW2041792487MaRDI QIDQ3690797

J. F. A. K. van Benthem

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274176

zbMATH Keywords

generalized quantifiersmonotone quantifierssemantic constraintdefinability theoremsinverse logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Related Items (26)

A generalized quantifier logic for naked infinitives ⋮ Invariance Properties of Quantifiers and Multiagent Information Exchange ⋮ Generalized quantifiers and pebble games on finite structures ⋮ Logical constants in quantifier languages ⋮ Directions in generalized quantifier theory ⋮ Question answering and database querying: bridging the gap with generalized quantification ⋮ Type \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality ⋮ Dynamic reasoning with qualified syllogisms ⋮ On Barwise and Cooper’s “Generalized Quantifiers and Natural Language” ⋮ Determiners and resource situations ⋮ Equivalential structures for binary and ternary syllogistics ⋮ Aristotelian syllogisms and generalized quantifiers ⋮ The intensional many -- conservativity reclaimed ⋮ Linguistic quantifiers modeled by Sugeno integrals ⋮ Determiners and logic ⋮ A characterization of monotonicity with collective quantifiers ⋮ Linguistic quantifiers based on Choquet integrals ⋮ Sameness ⋮ Existential import, Aristotelian logic, and its generalizations ⋮ Polyadic quantifiers ⋮ On the expressive power of monotone natural language quantifiers over finite models ⋮ Possible worlds semantics: a research program that cannot fail? ⋮ Generalized quantifiers and modal logic ⋮ Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples ⋮ Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances ⋮ Computing scope dominance with upward monotone quantifiers

Cites Work

• Generalized quantifiers and natural language

This page was built for publication: Questions about quantifiers