"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.