Picture 1 of 1

Stock photo

Temporal Logic: From Ancient Ideas to Artificial Intelligence by Peter ?hrstr?m - Picture 1 of 1

Temporal Logic: From Ancient Ideas to Artificial Intelligence by Per Hasle, Peter Ohrstrom (Hardcover, 1995)

thenilestore (1245186)

99.1% positive feedback

Price:

AU $291.01

+ $4.99 postage

Estimated delivery Mon, 4 Aug - Fri, 8 Aug

Returns:

30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.

Condition:

Brand new

The sea-fight tomorrow. - The study of tenses in the middle ages. - Temporal ampliation. - The duration of the present. - The logic of beginning and ending. - Temporalis — the logic of 'While'.

About this product

Product Information

This text deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A.N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. The book thus aims to interweave linguistic, philosophical and computational aspects into an informative whole.