(Real) time: A philosophical perspective

  • Ron Koymans
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 600)


We present a perspective on the relationship between time and realtime. This perspective originates from a philosophical viewpoint concerning models of time that does not consider quantitative timing issues such as those relevant for real-time computing. This starting point is then adapted to incorporate real-time features. In doing so we try to combine the views on time and real-time forwarded by mathematical logic and by computer science. To illustrate these issues we use temporal logic, but many of the results presented are independent from a particular language and are also relevant for other (real) time formalisms.


time real-time temporal logic models of time time measurement 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Johan van Benthem: The Logic of Time (Second Edition), Reidel, Dordrecht, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Ron Koymans
    • 1
  1. 1.Philips Research LaboratoriesJA EindhovenThe Netherlands

Personalised recommendations