References
Ben-Ari, M., A. Pnueli, and Z. Manna: 1981, ‘The Temporal Logic of Branching Time’,Proc. 8th ACM Symp. on Principles of Programming Languages, 164–176.
Borges, J. L.: 1962,Ficciones, Grove Press Inc., New York.
Burgess, J. P.: 1984, ‘Tense Logic’, in D. Gabbay and F. Guenther (eds.),Handbook of Philosophical Logic II, Synthese Library, Dordrecht, pp. 89–133.
Findlay, J. N.: 1968, ‘Time: A Treatment of Some Puzzles’,Austr. Jour. Phil. 19, 1941, reprinted in R. M. Gale (ed.),The Philosophy of Time, New Jersey, p. 143 ff.
Flo, O.: 1970, ‘Bibliograpy of the Philosophical Writings of A. N. Prior’,Theoria 36, 189–213.
van Fraassen, B. C.: 1980, ‘Report on Tense Logic’, in E. Agazzi (ed.),Modern Logic:A Survey, Reidel, Dordrecht, pp. 425–38.
Gabbay, D.: 1987, ‘Modal and Temporal Programming’, in A. Galton (1987), pp. 197–237.
Galton, A. (ed.): 1987,Temporal Logic and its Applications, Academic Press, London.
Gardies, J.-L.: 1975,La Logique de Temps, Presses Universitares de France.
Geach, P. T.: 1970, ‘Arthur Prior: A Personal Impression’,Theoria 36, 186–88.
Goldblatt, R.: 1980, ‘Diodorean Modality in Minkowski Spacetime’,Studia Logicae 39(2–3), 220–36.
Gordon, C. N.: 1975, ‘The Identification of a Preferred Inertial Frame’,Foundations of Physics 5, 173–83.
Hale, R.: 1987, ‘Temporal Logic Programming’, in A. Galton (ed.), pp. 91–119.
Hasle, P.: 1991, ‘Building a Temporal Logic for Natural Language Understanding with the HOL-system’, in C. Brown and G. Koch (eds.),Natural Language Understanding and Logic Programming III, North Holland, pp. 92–110.
Kenny, A.: 1970, ‘Arthur Normann Prior (1914–1969)’,Proceedings of the British Academy LVI, 321–49.
Massey, G.: 1969, ‘Tense Logic! Why Bother?’,NOUS 3, 17–32.
Mates, B.: 1949, ‘Diodorean Implication’,Philosophical Review 58, 234–44.
McCall, S.: 1976, ‘Objective Time Flow’,Phil. Sci. 43, 337–62.
McTaggart: 1908, ‘The Unreality of Time’,Mind, 457–74.
Peirce, C. S.: 1931–1958,Collected Papers, Harvard University Press, Cambridge Massachusetts.
Prior, A. N.: 1957a,Time and Modality, Oxford.
Prior, A. N.: 1957b, ‘The Necessary and the Possible’,The Listener.
Prior, A. N.: 1957c, ‘Symbolism and Analogy’,The Listener.
Prior, A. N.: 1967,Past Present and Future, Oxford.
Prior, A. N.: 1968,Papers on Time and Tense, Oxford.
Prior, A. N.: 1972,The Notion of the Present’, in J. F. Faser et al. (eds.),The Study of Time, Springer, pp. 320–23.
Prior, A. N.:Determinism in Philosophy and Theology (DPT), Box 6 (4 p.) Bodleian Library, Oxford (This paper is not dated but it contains certain theological statements which suggest that it is early).
Prior, A. N.: 1966,A Statement of Temporal Realism (TR), Box 7, 4 p., Badleian Library, Oxford.
Prior, A. N.: 1976a, ‘What is Logic?’, published in P. T. Geach and A. J. P. Kenny (eds.),Papers in Logic and Ethics, London, pp. 122–29.
Prior, A. N.:Some Free Thinking about Time (SFTT), Box 7, Bodleian Library, Oxford.
Prior, A. N.: 1976a, ‘It was to be (IWB)’, P. T. Geach and A. J. P. Kenny (eds.),Papers in Logic and Ethics, London, pp. 97–108.
Prior, A. N. and K. Fine: 1977,Worlds, Times and Selves, Duckworth.
Prior, A. N.: 1976b, in P. T. Geach and A. J. P. Kenny (eds.),The Doctrine of Propositions and Terms, London.
Prior, A. N.: 1969, ‘Recent Advances in Tense Logic’,The Monist 53, 325–39.
Reichenbach, Hans: 1947,Elements of Symbolic Logic, New York, pp. 287–98.
Rescher, N.: ‘Truth and Necessity in Temporal Perspective’, in R. Gale (ed.),The Philosophy of Time, New Jersey, pp. 183–220.
Rescher, N. and A. Urquhart: 1971,Temporal Logic, Springer.
Robin Le Poidevin: 1991,Change, Cause and Contradiction;A Defence of the Tenseless Theory of Time, Macmillan Press Ltd.
Swinburne, Richard: 1990, ‘Tensed Facts’,American Philosophical Quarterly 27, 117–30.
Thayse, A. (ed.): 1989,From Modal Logic to Deductive Databases, John Wiley & Sons, Chichester.
Thomas, I.: 1971, ‘In Memoriam — A. N. Prior’,Notre Dame Journal of Formal Logic XII, 129–130.
von Weizäcker, C. F.: 1971, ‘The Unity of Physics’, in T. Bastin (ed.).Quantum Theory and Beyond, Cambridge, pp. 229–262.
Whitrow, G. J.: 1980,The Natural Philosophy of Time, 2nd ed., Oxford.
Øhrstrøm, P.: ‘Anselm, Ockham and Leibniz on Divine Foreknowledge and Human Freedom’,Erkenntnis 21, 209–222.
Øhrstrøm, P.: 1990, ‘A. N. Prior's Tense Logic and the Special Theory of Relativity’,Physical Interpretations of Relativity Theory II, London, pp. 207–214.
Øhrstrøm, P. and P. Hasle: 1991, ‘Medieval Logic and Natural Language Understanding’, in C. Brown and G. Koch (eds.),Natural Language Understanding and Logic Programming, North-Holland, pp. 75–91.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Øhrstrøm, P., Hasle, P. A. N. Prior's rediscovery of tense logic. Erkenntnis 39, 23–50 (1993). https://doi.org/10.1007/BF01128202
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01128202