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. $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. $180.00, very good condition, Sold by Half Moon Books rated 5.0 out of 5 stars, ships from High Falls, NY, UNITED STATES, published 1994 by Clarendon Press.
Add this copy of Temporal Logic: Volume 1: Mathematical Foundations and to cart. $201.55, 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.
Add this copy of Temporal Logic: Mathematical Foundations and to cart. $242.17, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1994 by Clarendon Press.
