Temporal Logic
Dov M Gabbay, Mark A Reynolds, Marcelo Finger
Source record
Source: Crossref
Published: Mar 30, 2000
DOI: 10.1093/oso/9780198537687.001.0001
Open original source ↗Source abstract
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.