Quantifiers: Logics, Models and Computation : Volume Two: Contributions

The quantifier concept is central to current logical investigations.

Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications.

It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers.

Both model-theoretical and proof-theoretical approaches are well represented.

Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language.

The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers. The book is the second volume of a large collection.

The first volume - Quantifiers: Logics, Models and Computation.

Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept.

Volumes One and Two are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists.

Also suitable as a text for advanced undergraduate or graduate specialized courses in logic.