Editor: Barringer, Howard
Series#:16; Applied Logic; Hardback; Book
464 pages
Published: December 1999
Kluwer Academic Publishers Group
ISBN: 0792361490

This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference onTemporal Logic, University of Manchester, UK.This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verification; temporal databases; temporal aspects in AI; tense and aspect in natural language; and temporal theorem proving.