Quantifiers: Logics, Models and Computation

This volume contains 12 research papers devoted to generalized quantifiers and their applications. It offers a survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Mo reover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a 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. This volume is intended for logicians, mathematicians, philosophers, linguists and computer scientists. It is also suitable as a text for advanced undergraduate or graduate specialized courses in logic.