did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9780198537687

Temporal Logic Mathematical Foundations and Computational Aspects Volume 2

by ; ;
  • ISBN13:

    9780198537687

  • ISBN10:

    0198537689

  • Format: Hardcover
  • Copyright: 2000-06-01
  • Publisher: Oxford University Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $394.66 Save up to $146.03
  • Rent Book $248.63
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-5 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Supplemental Materials

What is included with this book?

Summary

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, coveringautomata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.

Table of Contents

The handling of time: introduction and survey
Semantical presentation of temporal connectives
Axiomatic presentation of propositional temporal connectives
Predicate temporal logics
Temporal logics presented in the predicate calculus: language-metalanguage
A general theory of axiomatization for propositional temporal logic
Basic many-dimensional systems
Propositional quantifiers and fixed point operators
Expressive power of one-dimensional temporal connectives: basic concepts
Expressive completeness of Since and Until over integer and real time
Expressive completeness of Stavi connectives over general linear time
Further expressive completeness results
H-dimension
Adding a temporal dimension to a logic system
Decidability in temporal logic
Bibliography
Notation Index
Index of Systems
Index
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program