Oxford University Press on Demand (1994)

Dov Gabbay
Hebrew University of Jerusalem
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, propositionalquantifiers, 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.
Keywords Computer programming   Logic, Symbolic and mathematical
Categories (categorize this paper)
Buy this book $34.96 used (90% off)   $46.73 new (87% off)   Amazon page
ISBN(s) 0198537697 (v.1)   0198537697
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Combinations of Tense and Modality for Predicate Logic.Stefan Wölfl - 1999 - Journal of Philosophical Logic 28 (4):371-398.

View all 32 citations / Add more citations

Similar books and articles

Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Temporal Logics and Their Applications.Antony Galton - 1990 - Journal of Symbolic Logic 55 (1):364-366.
Lectures on the Logic of Computer Programming.Zohar Manna - 1983 - Journal of Symbolic Logic 48 (1):213-214.


Added to PP index

Total views
17 ( #641,593 of 2,533,484 )

Recent downloads (6 months)
8 ( #91,000 of 2,533,484 )

How can I increase my downloads?


My notes