Quantifiers: Logics, Models and Computation

Volume One: Surveys

  • Michał Krynicki
  • Marcin Mostowski
  • Lesław W. Szczerba

Part of the Synthese Library book series (SYLI, volume 248)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Michał Krynicki, Marcin Mostowski
    Pages 1-19
  3. Per Lindström
    Pages 21-24
  4. Heinz-Dieter Ebbinghaus
    Pages 25-62
  5. Lauri Hella, Kerkko Luosto
    Pages 63-104
  6. Jouko Väänänen
    Pages 105-138
  7. Heinrich Herre
    Pages 139-192
  8. Michał Krynicki, Marcin Mostowski
    Pages 193-262
  9. Xavier Caicedo
    Pages 263-296
  10. Jörg Flum
    Pages 297-312
  11. Johann A. Makowsky, Yachin B. Pnueli
    Pages 313-357
  12. Back Matter
    Pages 409-424

About this book

Introduction

Quantifiers: Logics, Models and Computation is the first concentrated effort to give a systematic presentation of the main research results on the subject, since the modern concept was formulated in the late '50s and early '60s. The majority of the papers are in the nature of a handbook. All of them are self-contained, at various levels of difficulty. The Introduction surveys the main ideas and problems encountered in the logical investigation of quantifiers. The Prologue, written by Per Lindström, presents the early history of the concept of generalised quantifiers. The volume then continues with a series of papers surveying various research areas, particularly those that are of current interest. Together they provide introductions to the subject from the points of view of mathematics, linguistics, and theoretical computer science.
The present volume has been prepared in parallel with Quantifiers: Logics, Models and Computation, Volume Two. Contributions, which contains a collection of research papers on the subject in areas that are too fresh to be summarised. The two volumes are complementary.
For logicians, mathematicians, philosophers, linguists and computer scientists. Suitable as a text for advanced undergraduate and graduate specialised courses in logic.

Keywords

Index logic model theory present quantifiers subject theoretical computer science

Editors and affiliations

  • Michał Krynicki
    • 1
  • Marcin Mostowski
    • 2
  • Lesław W. Szczerba
    • 3
  1. 1.Department of MathematicsUniversity of WarsawPoland
  2. 2.Department of PhilosophyUniversity of WarsawPoland
  3. 3.Siedlce UniversityPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-0522-6
  • Copyright Information Springer Science+Business Media B.V. 1995
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-4539-3
  • Online ISBN 978-94-017-0522-6
  • About this book