Directions in generalized quantifier theory

DOI10.1007/BF01057805zbMath0840.03029OpenAlexW2099315605MaRDI QIDQ1908858

J. F. A. K. van Benthem, Dag Westerståhl

Publication date: 1 July 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01057805

zbMATH Keywords

surveymodal logicsemanticsdefinabilityexpressive poweraxiomatizabilitygeneralized quantifiers in logic, linguistics and computer science

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Semantics in the theory of computing (68Q55) Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Model theory of monadic predicate logic with the infinity quantifier ⋮ Categories of First-Order Quantifiers ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ Most-intersection of countable sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scopeless quantifiers and operators
• Vector spaces and binary quantifiers
• Essays in logical semantics
• Language in action. Categories, lambdas and dynamic logic
• Algebraization of quantifier logics, an introductory overview
• An optimal lower bound on the number of variables for graph identification
• Generalized quantifiers and modal logic
• Dynamic interpretation and Hoare deduction
• Logical hierarchies in PTIME
• Definability hierarchies of generalized quantifiers
• Structure and complexity of relational queries
• A calculus for first order discourse representation structures
• Intuitionistic categorial grammar
• Questions about quantifiers
• Relational queries computable in polynomial time
• On orderings of the family of all logics
• Axiomatizing universal properties of quantifiers
• A Modal Logic for Chopping Intervals
• Beyond the frege boundary
• On existence proofs of Hanf numbers
• δ-Logics and generalized quantifiers
• Polyadic quantifiers
• The Hanf number of second order logic
• Dynamic predicate logic
• Natural language, sortal reducibility and generalized quantifiers
• Infinitary logic and admissible sets
• Absolute logics and L∞ω
• The diversity of quantifier prefixes

This page was built for publication: Directions in generalized quantifier theory