Repository | Book | Chapter
(1997) Perspectives on time, Dordrecht, Springer.
A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic
Peter Øhrstrøm
pp. 443-457
Temporal reasoning is captured in one manner by tense logic i.e. the logic of primitive tense-operators, and in another manner by the logic of instants (or dates) i.e. the earlier-later calculus. In terms of McTaggart's time-series we can say that tense logic is A-logical, whereas the logic of instants is B-logical. Thus we can speak about two kinds of temporal logic (A and B). This paper is based on a study of the relation between these kinds of temporal logic from a formal point of view.
Publication details
DOI: 10.1007/978-94-015-8875-1_19
Full citation:
Øhrstrøm, P. (1997)., A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic, in J. Faye, U. Scheffler & M. Urchs (eds.), Perspectives on time, Dordrecht, Springer, pp. 443-457.
This document is unfortunately not available for download at the moment.