Quantifiers: Logics, Models and Computation

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.

Inhalt

Preface. Quantifiers and Inference; J. van Benthem. Operators on Branched Quantifiers; M.A. Brown. Hilbert's Epsilon-Symbol in the Presence of Generalized Quantifiers; X. Caicedo. Partially Ordered Connectives and Finite Graphs; L. Hella, G. Sandu. Theories of Finitely Determined Linear Orderings in Stationary Logics; H. Herre. Definable Second-Order Quantifiers and Quasivarieties; A.A. Ivanov. Quantifiers Determined by Classes of Binary Relations; M. Krynicki. Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey Quantifiers; W. Lenski. On the Eliminability of the Quantifier There Exists Uncountably Many'; *Z.* *Mijajlovic.* Quantifiers Definable by Second Order Means; *M.* *Mostowski.* Generalized Quantifiers in Algebra; *A.G. Pinus.* On Ordering of the Family of Logics with Skolem-Löwenheim Property and Countable Compactness Property; *M. Waclawek.DAGGER.* Pre-Ordered Quantifiers in Elementary Sentences of Natural Language; *M.W.* *Zawadowsky.* Some Remarks on Zawadowski's Theory of Preordered Quantifiers'; M.A. Brown. Index of Names.