Temporal Logic: Volume 2
Author:   Dov M Gabbay (Department of Computer Science, Department of Computer Science, King's College London) ,  M. Finger (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) ,  M. Reynolds (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Brazil) ,  M Reynolds
Publisher:   Oxford University Press
Volume:   40
ISBN:  

9780198537687


Pages:   612
Publication Date:   30 March 2000
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $372.95 Quantity:  
Add to Cart

Share |

Temporal Logic: Volume 2


Add your own review!

Overview

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.

Full Product Details

Author:   Dov M Gabbay (Department of Computer Science, Department of Computer Science, King's College London) ,  M. Finger (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) ,  M. Reynolds (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Brazil) ,  M Reynolds
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Volume:   40
Dimensions:   Width: 16.20cm , Height: 3.70cm , Length: 24.20cm
Weight:   1.011kg
ISBN:  

9780198537687


ISBN 10:   0198537689
Pages:   612
Publication Date:   30 March 2000
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

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: Nonmonotonic 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

Reviews

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


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


The book is well written and will be of particular interest to researchers and practitioners in computer science. --Mathematical Reviews<br>


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now