Temporal Logic

  • Nicholas Rescher
  • Alasdair Urquhart

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Nicholas Rescher, Alasdair Urquhart
    Pages 1-12
  3. Nicholas Rescher, Alasdair Urquhart
    Pages 13-22
  4. Nicholas Rescher, Alasdair Urquhart
    Pages 23-30
  5. Nicholas Rescher, Alasdair Urquhart
    Pages 31-49
  6. Nicholas Rescher, Alasdair Urquhart
    Pages 50-54
  7. Nicholas Rescher, Alasdair Urquhart
    Pages 55-67
  8. Nicholas Rescher, Alasdair Urquhart
    Pages 68-87
  9. Nicholas Rescher, Alasdair Urquhart
    Pages 88-97
  10. Nicholas Rescher, Alasdair Urquhart
    Pages 98-102
  11. Nicholas Rescher, Alasdair Urquhart
    Pages 103-116
  12. Nicholas Rescher, Alasdair Urquhart
    Pages 117-124
  13. Nicholas Rescher, Alasdair Urquhart
    Pages 125-137
  14. Nicholas Rescher, Alasdair Urquhart
    Pages 138-154
  15. Nicholas Rescher, Alasdair Urquhart
    Pages 155-169
  16. Nicholas Rescher, Alasdair Urquhart
    Pages 170-183
  17. Nicholas Rescher, Alasdair Urquhart
    Pages 184-188
  18. Nicholas Rescher, Alasdair Urquhart
    Pages 189-212
  19. Nicholas Rescher, Alasdair Urquhart
    Pages 213-227
  20. Nicholas Rescher, Alasdair Urquhart
    Pages 228-233

About this book

Introduction

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.

Keywords

identity logic modal logic philosophical logic proof semantics symbolic logic temporal logic time

Authors and affiliations

  • Nicholas Rescher
    • 1
  • Alasdair Urquhart
    • 1
  1. 1.PittsburghUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-7664-1
  • Copyright Information Springer-Verlag Vienna 1971
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-7666-5
  • Online ISBN 978-3-7091-7664-1
  • Series Print ISSN 0075-9104
  • About this book