TL;DR: Most of this work has been directed toward cardinality quantifiers and topological quantifiers which are not particularly relevant to natural language, but even so, it has forced logicians to rethink the traditional theory of quantification as discussed by the authors.
Abstract: In 1957, the Polish logician Andrej Mostowski pointed out that there are many mathematically interesting quantifiers that are not definable in terms of the first-order ∀, ∃ and initiated study of so-called generalized quantifiers (cf. Mostowski, 1957). Since then logicians have discovered and studied a large number of generalized quantifiers. At last count there were well over 200 research papers in this area. Most of this work has been directed toward cardinality quantifiers (e.g. Keisler, 1969) and topological quantifiers (e.g. Sgro, 1977) which are not particularly relevant to natural language, but even so, it has forced logicians to rethink the traditional theory of quantification.
TL;DR: McCawley supplements his earlier book with new material on the logic of conditional sentences, linguistic applications of type theory, Anil Gupta's work on principles of identity, and the generalized quantifier approach to the logical properties of determiners.
Abstract: McCawley supplements his earlier book-which covers such topics as presuppositional logic, the logic of mass terms and nonstandard quantifiers, and fuzzy logic-with new material on the logic of conditional sentences, linguistic applications of type theory, Anil Gupta's work on principles of identity, and the generalized quantifier approach to the logical properties of determiners.
TL;DR: A compositional semantics of locativeprepositional phrases which is based on a vector space ontology, similar to the semanticuniversals of Generalized Quantifier Theory is introduced.
Abstract: This paper introduces a compositional semantics of locative prepositional phrases which is based on a vector space ontology. Model-theoretic properties of prepositions like monotonicity and conservativity are defined in this system in a straightforward way. These notions are shown to describe central inferences with spatial expressions and to account for the grammaticality of preposition modification. Model-theoretic constraints on the set of possible prepositions in natural language are specified, similar to the semantic universals of Generalized Quantifier Theory.