Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Reference
Johan van Benthem: The Logic of Time (Second Edition), Reidel, Dordrecht, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Koymans, R. (1992). (Real) time: A philosophical perspective. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds) Real-Time: Theory in Practice. REX 1991. Lecture Notes in Computer Science, vol 600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032000
Download citation
DOI: https://doi.org/10.1007/BFb0032000
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55564-3
Online ISBN: 978-3-540-47218-6
eBook Packages: Springer Book Archive