scientific article; zbMATH DE number 1303461

MaRDI QIDQ4250072zbMATH OpenFDO

Authors Michał Krynicki, Marcin Mostowski

Publication date 28 October 1999

zbMATH Keywords

expressive powergeneralized quantifiersLindström quantifiernatural language quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Review text

The mathematical definition of Lindström quantifier does not apply to many quantifiers appearing in mathematical logic, statistics, as well as in natural language theory and computer science. The latter often depend on extra machinery. The aim of the present paper is to compare the expressive power of logics with such quantifiers. For background on Lindström quantifiers see \textit{J. Barwise} and \textit{S. Feferman} (eds.): Model-theoretic logics (1985; Zbl 0587.03001), and, in particular, the chapters by \textit{H.-D. Ebbinghaus} and by the present reviewer. See also the reviewer's paper in Fundam. Math. 124, 1-25 (1984; Zbl 0595.03039) for a more general definition. For the entire collection see [Zbl 0910.00016].

Recommendations

• Some strange quantifiers
• Vagueness and quantification
• scientific article; zbMATH DE number 2048510
• scientific article; zbMATH DE number 2048520
• scientific article; zbMATH DE number 1749204
• Quantifiers and referential use
• Questions about quantifiers
• scientific article; zbMATH DE number 4039862
• scientific article; zbMATH DE number 4031646
• Quantifiers and partiality

Cited in

(5)

• Directions in generalized quantifier theory
• Natural density and the quantifier ``most
• Basic quantifier theory
• Vague Determiner Phrases and Distributive Predication
• scientific article; zbMATH DE number 3316012 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250072)