Advances In Temporal Logic

This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verificatio... » 

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