Generalized Quantifiers and Computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Väänänen, Jouko (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Computer Science, 1754
• Subjects: Mathematical logic.; Grammar.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized...

Table of Contents:

• Generalized Quantifiers, an Introduction
• Counting and Locality over Finite Structures A Survey
• A Perspective on Lindström Quantifiers and Oracles
• Generalized Quantifiers in Logic Programs
• A Generalized Quantifier Concept in Computational Complexity Theory
• Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.