Skip to main content
SpringerLink
Log in

The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

  • Book
  • © 1991

Overview

Authors:
  1. Johan Benthem

    1. Institute for Language, Logic and Information, University of Amsterdam, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

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 (9 chapters)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Temporal Ontology

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Primitive Notions

      • Johan van Benthem
      Pages 3-13

    3. Points

      • Johan van Benthem
      Pages 14-57

    4. Periods

      • Johan van Benthem
      Pages 58-79

    5. Points and Periods

      • Johan van Benthem
      Pages 80-112

    6. Events

      • Johan van Benthem
      Pages 113-124

  3. Temporal Discourse

    1. Front Matter

      Pages 125-126
      Download chapter PDF

    2. Choice of Languages

      • Johan van Benthem
      Pages 127-135

    3. Instant Tense Logic

      • Johan van Benthem
      Pages 136-192

    4. Extended Tense Logic

      • Johan van Benthem
      Pages 193-218

    5. Point Talk and Period Talk

      • Johan van Benthem
      Pages 219-229

  4. Back Matter

    Pages 230-290
    Download chapter PDF
Back to top

Keywords

About this book

The subject of Time has a wide intellectual appeal across different dis­ ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.

Reviews

From reviews of the first edition:
`Overall this is an admirable work. I believe it will change and enrich the field.'
Steven Kuhn, Journal of Symbolic Logic, 52 (3) (1987)
`...the book...will be most useful to anyone, newcomer or expert, with an interest in the logic of time.'
John Burgess, Journal of Philosophical Logic, 13 (3) (1984)

Authors and Affiliations

  • Institute for Language, Logic and Information, University of Amsterdam, The Netherlands

    Johan Benthem

About the author

Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research.

from the jury report:
`Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

Bibliographic Information

  • Book Title: The Logic of Time

  • Book Subtitle: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

  • Authors: Johan Benthem

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-015-7947-6

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

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

  • Hardcover ISBN: 978-0-7923-1081-5Published: 31 March 1991

  • Softcover ISBN: 978-90-481-4082-4Published: 15 December 2010

  • eBook ISBN: 978-94-015-7947-6Published: 09 March 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 2

  • Number of Pages: XXII, 290

  • Topics: Logic, Computational Linguistics, Mathematical Logic and Foundations, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation