DMCA
Temporal Logic (1998)
| Venue: | The Blackwell Guide to Philosophical Logic. Blackwell Philosophy Guides (2001 |
| Citations: | 10 - 0 self |
BibTeX
@INPROCEEDINGS{Venema98temporallogic,
author = {Yde Venema and Lou Goble (ed and Blackwell Guide and Philosophical Logic and Blackwell Publishers},
title = {Temporal Logic},
booktitle = {The Blackwell Guide to Philosophical Logic. Blackwell Philosophy Guides (2001},
year = {1998},
publisher = {Basil Blackwell Publishers}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper, section 3, is devoted to a fairly detailed exposition of Prior's basic tense logic; the aim of this is not only to introduce the readers to this particular system, but perhaps even more to acquaint them with the kind of questions that temporal logicians tend to ask. In the sections 4 and 5 we present some extensions and alternatives to this base system. In section 6 we sketch some developments that have taken place over the last ten years or so. Finally, in the epilogue we try to answer the question what Temporal Logic is; this section also contains a short list of monographs surveying the field of temporal logic. 2 Flows of time
