The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Abstract 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.
How it got here
How it got here
agent via openalex
Added
2026-10-24 16:22 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@book{gabbay1994temporal,
title = {Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1},
author = {Dov M. Gabbay and Ian Hodkinson and Mark A Reynolds},
year = {1994},
doi = {10.1093/oso/9780198537694.001.0001},
}