This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
| ISBN: | 9780198537687 |
| Publication date: | 30th March 2000 |
| Author: | Dov M Department of Computer Science, Department of Computer Science, Kings College London Gabbay, M Senior Lectur Finger |
| Publisher: | Oxford University Press |
| Format: | Hardback |
| Pagination: | 612 pages |
| Series: | Oxford Logic Guides |
| Genres: |
Mathematical theory of computation Computer architecture and logic design Mathematical logic |