Temporal Logic: Volume 1

(Author) (Author)
& 1 more
Out of Stock. Usually despatches within 2 weeks.


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.

Product Details

Oxford University Press
Publish Date
BIC Categories:

Earn By Promoting Books

Earn money by sharing your favourite books through our Affiliate programme.

Become an Affiliate
We use cookies and similar methods to recognize visitors and remember their preferences. We also use them to help detect unauthorized access or activity that violate our terms of service, as well as to analyze site traffic and performance for our own site improvement efforts. To learn more about these methods, including how to disable them view our Cookie Policy.