Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich 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 ...
Read More
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich 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. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
Read Less
Add this copy of Temporal Logic: From Ancient Ideas to Artificial to cart. $90.49, very good condition, Sold by Fireside Bookshop rated 4.0 out of 5 stars, ships from Stroud, GLOUCESTERSHIRE, UNITED KINGDOM, published 1995 by Kluwer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good in No d/j as Published jacket. Size: 8vo-over 7¾"-9¾" tall; Type: Book N.B. Small plain label to front paste down. Slight fading to boards and spine.
