Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Hasle. Building a temporal logic for natural language understanding with the HOL-system. In C. Brown and G. Koch, editors, Natural Language Understanding and Logic Programming, pages 92–110. North-Holland, 1991.
A. N. Prior. Formal Logic. Clarendon Press, Oxford, 1955.
A. N. Prior. Past, Present and Future. Clarendon Press, Oxford, 1967.
A. N. Prior. Papers on Time and Tense. Clarendon Press, Oxford, 1968.
A. N. Prior. Papers in Logic and Ethics. London, 1976. ( Edited by P. T. Geach and A. J. P. Kenny).
A. N. Prior. Things and stuff. In P. T. Geach and A. J. P. Kenny, editors, Papers in Logic and Ethics, pages 181–186. London, 1976.
A. N. Prior. A statement of temporal realism. In J. Copeland, editor, Logic and Reality: Essays in Pure and Applied Logic in Memory of Arthur Prior. Oxford University Press, 1996. (Probably written 1966; published in P. OhrstrOm’s edition.).
N. Rescher and A. Urquhart. Temporal Logic. Springer, Berlin, 1971.
P. Øhrstrpm and P. Hasle. Temporal Logic — From Ancient Ideas to Artificial Intelligence. Studies in Linguistics and Philosophy 57. Kluwer Academic Publishers, Dordrecht, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Øhrstrøm, P. (1997). A. N. Prior’s Ideas on the Relation between Semantics and Axiomatics for Temporal Logic. In: Faye, J., Scheffler, U., Urchs, M. (eds) Perspectives on Time. Boston Studies in the Philosophy of Science, vol 189. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8875-1_19
Download citation
DOI: https://doi.org/10.1007/978-94-015-8875-1_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4774-8
Online ISBN: 978-94-015-8875-1
eBook Packages: Springer Book Archive