Skip to main content
SpringerLink
Log in
Book cover

Temporal Logic

  • Book
  • © 1971

Overview

Authors:
  1. Nicholas Rescher

    1. Pittsburgh, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Alasdair Urquhart

    1. Pittsburgh, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: LEP Library of Exact Philosophy (LEP, volume 3)

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. The Background of Temporal Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 1-12

  3. Topological Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 13-22

  4. Fundamental Distinctions for Temporal Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 23-30

  5. The Basic System R of Temporal Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 31-49

  6. The Introduction of Tense Operators

    • Nicholas Rescher, Alasdair Urquhart
    Pages 50-54

  7. The System K t of Minimal Tense Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 55-67

  8. Branching Time: The System K b

    • Nicholas Rescher, Alasdair Urquhart
    Pages 68-87

  9. Linear Time: The System K l and Its Variants

    • Nicholas Rescher, Alasdair Urquhart
    Pages 88-97

  10. Additive Time: The System R⊕ and R⊕±

    • Nicholas Rescher, Alasdair Urquhart
    Pages 98-102

  11. Metric Time and Chronological Logic: The System R+

    • Nicholas Rescher, Alasdair Urquhart
    Pages 103-116

  12. Tense Logical Characterizability and Definability

    • Nicholas Rescher, Alasdair Urquhart
    Pages 117-124

  13. Temporal Modality

    • Nicholas Rescher, Alasdair Urquhart
    Pages 125-137

  14. Temporally Conditioned Descriptions and the Concept of Temporal Purity

    • Nicholas Rescher, Alasdair Urquhart
    Pages 138-154

  15. The Theory of Processes

    • Nicholas Rescher, Alasdair Urquhart
    Pages 155-169

  16. The Logic of World States

    • Nicholas Rescher, Alasdair Urquhart
    Pages 170-183

  17. The Dimensionality of Time

    • Nicholas Rescher, Alasdair Urquhart
    Pages 184-188

  18. The “Master Argument” of Diodorus and Temporal Determinism

    • Nicholas Rescher, Alasdair Urquhart
    Pages 189-212

  19. Many-Valued Approaches to Temporal Logic

    • Nicholas Rescher, Alasdair Urquhart
    Pages 213-227

  20. Propositional Quantification in Tensed Statements

    • Nicholas Rescher, Alasdair Urquhart
    Pages 228-233
Back to top

Keywords

About this book

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been provided by the publication in the late 1950s of A. N. PRIOR'S pioneering book, Time and Modality (Oxford, The Clarendon Press, 1957). Virtually all work in the field to around 1966 is surveyed in PRIOR'S elegant treatise Past, Present and Future (Oxford, The Clarendon Press, 1967). In consequence, it is no simple matter to write a comprehensive book on the subject with­ out merely rehearsing material already dealt with in PRIOR'S works. We believe, however, that the present book succeeds in this difficult endeavor because it approaches established materials from wholly novel points of departure, and is thus able to attain new perspectives and achieve new results. Its introductory character notwithstanding, the present work is consequently in substantial measure devoted to an exposition of new findings and a demonstration of new results. Parts of the book have been published previously. Chapter II is a modified version of an article of the same title by N. RESCHER and JAMES GARSON in The Journal of Symbolic Logic (vol. 33 [1968], pp.537-548). And Chapter XIII is a modified version of the article "Temporally Conditioned Descriptions" by N. RESCHER and JOHN ROBISON in Ratio, vol. 8 (1966), pp. 46-54. The authors are grateful to Professors GARSON and ROBISON, and to the editors of the jounal involved, for their permission to use this materials here.

Authors and Affiliations

  • Pittsburgh, USA

    Nicholas Rescher, Alasdair Urquhart

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation