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
Published: 1995
Place of publication: Dordrecht; London
Language: eng
Number of pages: 413
Notes: Bibliography: p386-404. - Includes index.