NEVER MISS AN OXFORD SALE (SIGN UP HERE) |   VIEW BASKET
 
 
Advanced Search
Need Help?

Temporal Logic
Mathematical Foundations and Computational Aspects
Volume 2

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

Price: £142.00 (hardback)
ISBN-13: 978-0-19-853768-7
Publication date: 30 March 2000
616 pages, 83 line illus, 234x156 mm
Series: Oxford Logic Guides number 40
Search for titles in the same series
Ordering
Individual customers may:
order by phone, post, or fax.
Manufactured on Demand - stock will be supplied on a firm sale basis within 28 days

Teachers in UK and European schools (and FE colleges in the UK):

Description
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.

Contents
Tentative contents of Volume 3
1. Introduction and overview
2. Temporal Logic and Automata
3. Branching Time
4. Labelled Deduction Presentation of Temporal Logics
5. Temporal Logic Programming
6. Combining Temporal Logic Systems
7. Extensional Semantics
8. Intervals and Planning
9. Many-Dimensional Systems and Generalized Quantifiers
10. The Declarative Past and Imperative Future
11. The METATEM Programming Language
12. METATEM in Intensive Care
13. Non-monotonic Coding of the Declarative Past
14. A Logical View of Temporal Databases
15. A Logical View of Temporal Database Dynamics
16. Temporal Conceptual-Level Databases
17. Temporal Active Databases: A Background for Creating and Detecting Time Paradoxes
18. Calendar Logic
References
Index
List of Symbols

Authors, editors, and contributors


Dov. M. Gabbay, Department of Computer Science, King's College London,
Mark A. Reynolds, Institute of Mathematics & Statistics, University Sao Paulo, and
Marcelo Finger, Senior Lecturer in Computer Science, School of Information Technology, Murdoch University


Links to web resources and related information
More in the same subject area:
Mathematical theory of computation
Computer architecture & logic design
Mathematical logic

The specification in this catalogue, including without limitation price, format, extent, number of illustrations, and month of publication, was as accurate as possible at the time the catalogue was compiled. Occasionally, due to the nature of some contractual restrictions, we are unable to ship a specific product to a particular territory. Jacket images are provisional and liable to change before publication.

 
Privacy Policy and Legal Notice
Content and Graphics copyright Oxford University Press, 2008. All rights reserved.