Advances in temporal logic
By: edited by Howard Barringer ... [et al.].
Contributors: Barringer, Howard, 1951-
Series: Applied logic series -- v. 16
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 453
Subjects: Computer logic -- Congresses.; Temporal databases -- Congresses.
Genres: Congresses.
Description: "Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to the modern man. This volume collects together a number of articles from leading researchers in the area and presents state-of-the-art results across a number of sub-areas, in particular, pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language and temporal theorem proving. Any student of the area, be they postgraduate, post-doctoral, or even research professor, will find this volume a valuable tome.

Likewise, computing professionals requiring state-of-the-art knowledge across this area will find it also a handy volume, giving leading results and linking to other relevant literature."--Jacket.
Notes: Selected papers from an international conference held in Manchester, UK, in 1997.

Includes bibliographical references.