Abstract
The use of branching time diagrams in tense logic was originally suggested in 1957 by Saul Kripke. During the following years, A.N. Prior (1914–1969) developed models with forwards branching and backwards linearity. Prior’s work on tense logic inspired several logicians during the 1960s, such as Nino Cochiarella (born 1933) and Henrik von Wright (1916–2003). Both of them questioned Prior’s idea of a linear past. In the present paper, we argue that the best way to take advantage of the results of the various discussions of branching time since Prior would be to make use of a Molinistic version of the Ockhamistic model. We argue that this interpretation of branching time can reflect and support natural language reasoning in a very useful manner.
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
Notes
- 1.
The use of F(n)p and P(n)p does not presuppose anything regarding discreteness of time.
References
Allen, J.F., Hayes, P.J.: Moments and points in an interval-based temporal logic. Comput. Intell. 5, 225–238 (1990)
Belnap, N., Green, M.: Indeterminism and the thin red line. Philos. Perspect. 8, 365–388 (1994). Logic and Language
Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)
Borghini, A., Torrengo, G.: The Metaphysics of the thin red line. In: Correia, F., Iacona, A. (eds.) Around the Tree. Synthese Library, vol. 361, pp. 105–125. Springer, Heidelberg (2013)
Cocchiarella, N.B.: Formal Ontology and Conceptual Realism. Springer, Heidelberg (2007)
Kripke, S.:Letter to A.N. Prior. A.N. Prior’s Nachlass, 3 September 1958. http://nachlass.prior.aau.dk
Liu, H., Singh, P.: Commonsense reasoning in and over natural language. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol. 3215, pp. 293–306. Springer, Heidelberg (2004)
Molina, L.D.: On Divine Foreknowledge. Cornell University Press, Ithaca (1988)
Prior, A.N.: Time and Modality. Oxford University Press, Oxford (1957)
Prior, A. N.: Letter to Saul Kripke. A.N. Prior’s Nachlass, 27 October 1958, http://nachlass.prior.aau.dk
Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)
Ploug, T., Øhrstrøm, P.: Branching Time, Indeterminism and Tense Logic – unveiling the Prior-Kripke letters. Synthese 188(Nr. 3), 367–379 (2012)
Smart, J.J.C.: The River of time. Mind 58(232), 483–494 (1949)
Smart to Prior: The Prior Collection, Box 3, The Bodleian Library, Oxford, 19 June 1955
Øhrstrøm, P., Hasle, P.F.: Temporal Logic: From Ancient Ideas to Artificial Intelligence. Kluwer Academics Publishers, Dordrecht (1995)
Øhrstrøm, P., Schärfe, H., Ploug, T.: Branching time as a conceptual structure. In: Croitoru, M., Ferré, S., Lukose, D. (eds.) ICCS 2010. LNCS, vol. 6208, pp. 125–138. Springer, Heidelberg (2010)
Øhrstrøm, P., Hasle, P.: Future contingents. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University, Stanford (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Jakobsen, D., Øhrstrøm, P. (2016). The Interpretation of Branching Time Diagrams. In: Haemmerlé, O., Stapleton, G., Faron Zucker, C. (eds) Graph-Based Representation and Reasoning. ICCS 2016. Lecture Notes in Computer Science(), vol 9717. Springer, Cham. https://doi.org/10.1007/978-3-319-40985-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-40985-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40984-9
Online ISBN: 978-3-319-40985-6
eBook Packages: Computer ScienceComputer Science (R0)