Temporal Logic: Mathematical Foundations and Computational AspectsVolume 2

by Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger

Overview

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.

Product Details

ISBN-13:	9780198537687
Publisher:	Oxford University Press
Publication date:	06/01/2000
Series:	Oxford Logic Guides , #40
Pages:	612
Product dimensions:	6.30(w) x 9.30(h) x 1.50(d)

About the Author

King's College London

University Sao Paulo

Murdoch University

Table of Contents

Tentative contents of Volume 31. Introduction and overview2. Temporal Logic and Automata3. Branching Time4. Labelled Deduction Presentation of Temporal Logics5. Temporal Logic Programming6. Combining Temporal Logic Systems7. Extensional Semantics8. Intervals and Planning9. Many-Dimensional Systems and Generalized Quantifiers10. The Declarative Past and Imperative Future11. The METATEM Programming Language12. METATEM in Intensive Care13. Non-monotonic Coding of the Declarative Past14. A Logical View of Temporal Databases15. A Logical View of Temporal Database Dynamics16. Temporal Conceptual-Level Databases17. Temporal Active Databases: A Background for Creating and Detecting Time Paradoxes18. Calendar LogicReferencesIndexList of Symbols

Editorial Reviews

"The book is well written and will be of particular interest to researchers and practitioners in computer science."—Mathematical Reviews

From the Publisher