Semantics of Time

  • Johan van Benthem


Philosophical speculation about the nature of time has had a long tradition, with contributions by many major philosophers, from Saint Augustine to Kant (e.g.. Smart, 1979). In this century, a more systematic philosophy of time has developed along two lines, one within the philosophy of science (e.g.. Sklar, 1977), the other within logic (e.g.. Prior, 1967). Many specific issues have fueled research in these areas, of which the following four set the scene for our topic.


Natural Language Temporal Structure Temporal Reasoning Tense Logic Notre Dame Journal 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Allen, J. Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery, 1983, 26, 832–843.MATHGoogle Scholar
  2. Barwise, J., & Perry, J. Situations and attitudes. Boston: MIT Press, 1983.Google Scholar
  3. Benthem, J. van. The logic of time. Dordrecht: Reidel, 1982.Google Scholar
  4. Benthem, J. van. Tense logic and time. Notre Dame Journal of Formal Logic, 1984, 25, 1–16.MathSciNetMATHCrossRefGoogle Scholar
  5. Beth, E. Rede en aanschouwing in de wiskunde. Groningen: Wolters, 1935.Google Scholar
  6. Bohm,A. The special theory of relativity. Reading, MA: Benjamin/Cummins, 1965.Google Scholar
  7. Borges, J. Labyrinths. Harmondsworth: Penguin Books, 1981.Google Scholar
  8. Burgess, J. Logic and time. Journal of Symbolic Logic, 1979, 44, 566–582.MathSciNetMATHCrossRefGoogle Scholar
  9. Burgess, J. Decidability for branching times. Studia Logica, 1980, 39, 203–218.MathSciNetMATHCrossRefGoogle Scholar
  10. Dowty, D. Word meaning and montague grammar. Dordrecht: Reidel, 1979.Google Scholar
  11. Estes, W.K. Memory for temporal information. In: J.A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: SpringerVerlag, 1985, pp. 151–168.Google Scholar
  12. Hayes, P. The naive physics manifesto. In: D. Michie (Ed), Expert systems. Edinburgh: Edinburgh University Press, 1979.Google Scholar
  13. Humberstone, I. Interval semantics for tense logics. Journal of Philosophical Logic, 1979,8,171– 196.Google Scholar
  14. Kamp, H. Instants, events and temporal discourse. In: R. Bauerle, E. Ugli, & A. von Stechow (Eds.), Semantics from different points of view. Berlin: Springer Verlag, 1979, pp. 376–417.CrossRefGoogle Scholar
  15. Manders, K. On the space time ontology of physical theories. Philosophy of Science, 1982, 49, 575–590.MathSciNetCrossRefGoogle Scholar
  16. McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science 1982, 6, 101–155.CrossRefGoogle Scholar
  17. Meulen, A. ter. Events, quantities and individuals. In: E Landman & E Veltman (Eds.), Varieties of formal semantics, Vol. 3. Dordrecht: Foris, 1984, pp. 259–279.Google Scholar
  18. Michon, J. A.Temporality and metaphor. In: J. A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: Springer Verlag, 1985, pp. 288–296.Google Scholar
  19. Miller, G.A., & Johnson–Laird P. Language and perception. Cambridge, MA.: Harvard University Press, 1976.Google Scholar
  20. Montangero, J. The development of temporal inferences and meanings in 5- to 8-year old children. In: J. A. Michon & J.L. Jackson (Eds.), Time, mind, and behavior. Heidelberg: SpringerVerlag, 1985, pp. 279–287.Google Scholar
  21. Mourelatos, A. Events, processes and states. Linguistics and Philosophy, 1978, 2, 415–435.CrossRefGoogle Scholar
  22. Pnueli, A. The temporal logic of programs. Proceedings of the 18th IEEE Annual Symposium on Foundations of Computer Science, Providence, NJ: 1977, pp. 46–57.Google Scholar
  23. Prior, A. Past, present and future. Oxford: Clarendon Press, 1967.MATHGoogle Scholar
  24. Reichenbach, H., Elements of symbolic logic. Berkeley: University of California Press, 1947.Google Scholar
  25. Russell, B. Our knowledge of the external world. London: Allen & Unwin, 1926.MATHGoogle Scholar
  26. Sklar, L. Space, time and space–time. Berkeley: University of California Press, 1977.Google Scholar
  27. Smart, J.C.C. (Ed.), Problems of space and time. New York and London: McMillan, 1979.Google Scholar
  28. Suppes, P., & Zinnes, J. Basic measurement theory. In: Handbook of mathematical psychology, Vol. 1. New York: Wiley, 1963, pp. 1–76.Google Scholar
  29. Thomason, R. Combinations of tense and modality. In: D. Gabbay & E Guenthner (Eds.), Handbook of philosophical logic,Vol. II. Dordrecht: Reidel, 1984, pp. 135–165.CrossRefGoogle Scholar
  30. Vendler, Z. Linguistics in philosophy. Ithaca NY: Cornell University Press, 1967.Google Scholar
  31. Verkuyl, H. On the compositional nature of the aspects. Dordrecht: Reidel, 1972.Google Scholar
  32. Weyl, H. Philosophy of mathematics and natural science. New York: Atheneum Press, 1963.Google Scholar
  33. White, M. The necessity of the past and modal–tense logic incompleteness. Notre Dame Journal of Formal Logic, 1984, 25, 59–71.MathSciNetMATHCrossRefGoogle Scholar
  34. Winnie, J.The causal theory of space-time. In: J.S. Earman, C.N. Glymour, & J. J. Stachel (Eds.), Foundations of space-time theories. Minneapolis: University of Minnesota Press, 1977, pp. 134– 205.Google Scholar
  35. Reference NotesGoogle Scholar
  36. (4).
    Benthem, J. van. Tenses in real time, 1983, research report 83–28. Vancouver: Department of Mathematics, Simon Fraser University. To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.Google Scholar
  37. (5).
    Benthem, J. van. A manual ofintensional logic. Stanford: Centre for the Study of Language and Information, Lecture Notes, 1984a.Google Scholar
  38. (6).
    Needham, P. Temporal intervals and temporal order. Manuscript, Department of Philosophy, University of Uppsala, 1979.Google Scholar
  39. (7).
    Thomason, S. Possible worlds, times and tenure. Vancouver: Department of Mathematics, Simon Fraser University, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin · Heidelberg 1985

Authors and Affiliations

  • Johan van Benthem

There are no affiliations available

Personalised recommendations