Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Temporal Logic: From Ancient Ideas to Artificial Intelligence

Temporal Logic: From Ancient Ideas to Artificial Intelligence

Øhrstrøm, Peter
Hasle, Per

Hardcover

Series: Studies in Linguistics and Philosophy, Book 57

General ComputersHistory & Philosophy of ScienceLogic

ISBN10: 0792335864
ISBN13: 9780792335863
Publisher: Springer Nature
Published: Sep 30 1995
Pages: 416
Weight: 1.73
Height: 1.09 Width: 6.36 Depth: 9.52
Language: English
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.

1 different editions

Also available

Also in

Logic

View All