Temporal Logic pp 344-365 | Cite as

Temporal logic and computer science

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)


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.


Computer Science Temporal Logic Concurrent Program Total Correctness State Proposition 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1995

Personalised recommendations