Temporal Logic:
From Ancient Ideas to Artificial Intelligence

By
Peter Øhrstrøm and Per Hasle

Kluwer Academic Publishers 1995

A Synopsis

Kluwer's Order Form