Advertisement

Temporal Logic pp 103-116 | Cite as

Metric Time and Chronological Logic: The System R+

  • Nicholas Rescher
  • Alasdair Urquhart
Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)

Abstract

Supposing as given an R-calculus of the usual (minimal) sort, we may suppose further that the set 7 of values of the temporal variables t, t’, etc. constitutes a metric space (in the sense of Hausdorff). In such a case the R-system at issue will be said to embody a metric time. In the present chapter our attention will be directed to systems of this sort.

Keywords

Tense Structure Tense Operator Tense Logic Candidate Rule Linear Realizability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1971

Authors and Affiliations

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

Personalised recommendations