Skip to main content
SpringerLink
Log in

Quantifiers: Logics, Models and Computation

Volume One: Surveys

  • Book
  • © 1995

Overview

Editors:
  1. Michał Krynicki

    1. Department of Mathematics, University of Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcin Mostowski

    1. Department of Philosophy, University of Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lesław W. Szczerba

    1. Siedlce University, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Quantifiers, Some Problems and Ideas

    • Michał Krynicki, Marcin Mostowski
    Pages 1-19

  3. Prologue

    • Per Lindström
    Pages 21-24

  4. On the Model Theory of Some Generalized Quantifiers

    • Heinz-Dieter Ebbinghaus
    Pages 25-62

  5. Finite Generation Problem and n-ary Quantifiers

    • Lauri Hella, Kerkko Luosto
    Pages 63-104

  6. Games and Trees in Infinitary Logic: A Survey

    • Jouko Väänänen
    Pages 105-138

  7. Theory of Linear Order in Extended Logics

    • Heinrich Herre
    Pages 139-192

  8. Henkin Quantifiers

    • Michał Krynicki, Marcin Mostowski
    Pages 193-262

  9. Continuous Operations on Spaces of Structures

    • Xavier Caicedo
    Pages 263-296

  10. Model Theory of Topological Structures

    • Jörg Flum
    Pages 297-312

  11. Computable Quantifiers and Logics over Finite Structures

    • Johann A. Makowsky, Yachin B. Pnueli
    Pages 313-357

  12. Quantifiers in Natural Language A Survey of Some Recent Work

    • Dag Westerståhl
    Pages 359-408

  13. Back Matter

    Pages 409-424
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Mathematics, University of Warsaw, Poland

    Michał Krynicki

  • Department of Philosophy, University of Warsaw, Poland

    Marcin Mostowski

  • Siedlce University, Poland

    Lesław W. Szczerba

Bibliographic Information

  • Book Title: Quantifiers: Logics, Models and Computation

  • Book Subtitle: Volume One: Surveys

  • Editors: Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-017-0522-6

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media B.V. 1995

  • Hardcover ISBN: 978-0-7923-3448-4Published: 31 May 1995

  • Softcover ISBN: 978-90-481-4539-3Published: 06 December 2010

  • eBook ISBN: 978-94-017-0522-6Published: 09 April 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: VIII, 424

  • Topics: Logic, Semantics, Mathematical Logic and Foundations, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation