Advertisement

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)

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.

Keywords

Computer Science Temporal Logic Concurrent Program Total Correctness State Proposition 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1995

Personalised recommendations