Temporal logic
Subtitle: from ancient ideas to artificial intelligence
By: by Peter Øhrstrøm and Per F.V. Hasle.
Contributors: Hasle, Per F. V.
Series: Studies in linguistics and philosophy ;; v. 57
Publisher: Kluwer Academic Publishers
Published: 1995
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 413
Subjects: Tense (Logic); Logic, Symbolic and mathematical; Time
Notes: Includes bibliographical references (p. 386-404) and index.