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 ...
Read More
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.
Read Less
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $104.00, very good condition, Sold by Half Moon Books rated 4.0 out of 5 stars, ships from High Falls, NY, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $108.54, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $121.41, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1994 by Oxford Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Volume 1. This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 1250grams, ISBN: 0198537697.
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $131.26, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $143.33, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Temporal Logic: Volume 1: Mathematical Foundations and to cart. $211.23, very good condition, Sold by Fireside Bookshop rated 4.0 out of 5 stars, ships from Stroud, GLOUCESTERSHIRE, UNITED KINGDOM, published 1994 by Clarendon Press.
