Title: Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Publisher: Clarendon Press
Publication Date: 1994
Language: English
ISBN 10: 0198537697
ISBN 13: 9780198537694
Binding: Hardcover
Condition: VeryGood

About this title

Synopsis

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover 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. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.

About the Author

Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.

"About this title" may belong to another edition of this title.

Store Description

We enjoy selling unusual and collectible books particularly art and science fiction.

Visit Seller's Storefront

Seller's business information

HM Books
NY, U.S.A.

Sale & Shipping Terms

Terms of Sale

We will accept returns in same condition as shipped up to 30 days from purchase.

Shipping Terms

Additional shipping charges will be requested for large books

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 6.75	US$ 19.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.