Generalized quantifiers, an introduction

DOI10.1007/3-540-46583-9_1MaRDI QIDQ4955349zbMATH OpenFDO

Authors Jouko Väänänen

Publication date 1 May 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46583-9_1

zbMATH Keywords

definabilitydescriptive complexity theoryfinite modelsgeneralized quantifiersPTIME properties

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 1064109
• scientific article; zbMATH DE number 3943783
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 1163929
• The expressive power of finitely many generalized quantifiers

Cited in

(18)

• Quantifiers in action. Generalized quantification in query, logical and natural languages
• A characterization of definability of second-order generalized quantifiers with applications to non-definability
• Dependence logic with a majority quantifier
• Combining nonmonotonic knowledge bases with external sources
• scientific article; zbMATH DE number 3943783 (Why is no real title available?)
• scientific article; zbMATH DE number 4027448 (Why is no real title available?)
• On vectorizations of unary generalized quantifiers
• scientific article; zbMATH DE number 1064109 (Why is no real title available?)
• scientific article; zbMATH DE number 1163929 (Why is no real title available?)
• scientific article; zbMATH DE number 1163931 (Why is no real title available?)
• Generalized Quantifiers in Declarative and Interrogative Sentences
• On quantification with a finite universe
• scientific article; zbMATH DE number 1421192 (Why is no real title available?)
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• A dichotomy in classifying quantifiers for finite models
• The hierarchy theorem for generalized quantifiers
• First-order definable counting-only queries
• Generalized quantifiers and the square of opposition

This page was built for publication: Generalized quantifiers, an introduction

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