Abstract
The relevance of temporal logic within computer science was realised in the course of the 1970s. Temporal logic has by now become an established discipline within this science, but the first researchers to take up the connection were not acquainted with Prior’s tense logic. The initial studies in the field were based on Temporal Logic by N. Rescher and A. Urquhart [1971]. This book was in fact dedicated to the memory of Arthur Prior, and at any rate computer scientists would in due course also begin to study Prior’s own works on tense logic. The above quotation makes it clear that one decade earlier it had occurred to Prior himself that his tense logic might be useful in computer science.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1995 Kluwer Academic Publishers
About this chapter
Cite this chapter
(1995). Temporal logic and computer science. In: Temporal Logic. Studies in Linguistics and Philosophy, vol 57. Springer, Dordrecht. https://doi.org/10.1007/978-0-585-37463-5_29
Download citation
DOI: https://doi.org/10.1007/978-0-585-37463-5_29
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-3586-3
Online ISBN: 978-0-585-37463-5
eBook Packages: Springer Book Archive