Product details

ISBN-13: 9780198537694

ISBN: 0198537697

Publication Date: 1994

Publisher: Oxford University Press, Incorporated

AUTHOR

Gabbay, Dov M., Reynolds, Mark, Hodkinson, Ian

SUMMARY

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.Gabbay, Dov M. is the author of 'Temporal Logic Mathematical Foundations and Computational Aspects', published 1994 under ISBN 9780198537694 and ISBN 0198537697.

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.

Book condition guidelines

New (perfect condition)

Pages are clean and are not marked by notes, highlighting or fold.

Like new (excellent condition)

Pages are clean and are not marked by notes, highlighting or folds.

Very good (good condition)

Pages are intact and may have minimal notes and/or highlighting or folds.

Good (clean condition)

All pages and the cover is intact. The spine may show signs of wear. Pages include notes and/or highlighting.

Acceptable (readable condition)

All pages and the cover is intact. Pages include considerable notes in pen or highlighter, but the text is not obscured.

How do rentals work?

Rent textbooks

Save up to 90% on the largest selection of textbook rentals in the business. We have the lowest prices -guaranteed.

Receive

Choose between standard or expedited shipping to make sure that your textbooks arrive in time for class.

Return for free!

When your books are due, just pack them up and ship them back. And don't worry about shipping - it's absolutely free!