Temporal logic : from ancient ideas to artificial intelligence /
Øhrstrøm, Peter.
Hasle, Per F. V.
Dordrecht ; London : Kluwer Academic Publishers,
c1995.
Includes bibliographical references and index.
Tense (Logic)
Logic, Symbolic and mathematical.
Time.