Temporal Logic: From Ancient Ideas to Artificial Intelligence

✍ Scribed by Peter Øhrstrøm, Per Hasle

• Publisher: Springer
• Year: 1995
• Tongue: English
• Leaves: 426
• Series: Studies in Linguistics and Philosophy
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

1......Page 1
2......Page 9
3......Page 14
4......Page 19
5......Page 37
6......Page 43
7......Page 47
8......Page 56
9......Page 69
10......Page 75
11......Page 91
12......Page 113
13......Page 118
14......Page 122
15......Page 128
16......Page 149
17......Page 155
18......Page 167
19......Page 180
20......Page 197
21......Page 203
22......Page 216
23......Page 231
24......Page 241
25......Page 255
26......Page 280
27......Page 292
28......Page 313
29......Page 330
30......Page 354
31......Page 376
32......Page 383