Temporal Logic: From Ancient Ideas to Artificial Intelligence

Front Cover
Springer Science & Business Media, Aug 27, 2007 - Philosophy - 416 pages
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.
 

Contents

218pdf
210
219pdf
211
220pdf
212
221pdf
213
222pdf
214
223pdf
215
224pdf
216
225pdf
217

017pdf
9
018pdf
10
019pdf
11
020pdf
12
021pdf
13
022pdf
14
023pdf
15
024pdf
16
025pdf
17
026pdf
18
027pdf
19
028pdf
20
029pdf
21
030pdf
22
031pdf
23
032pdf
24
033pdf
25
034pdf
26
035pdf
27
036pdf
28
037pdf
29
038pdf
30
039pdf
31
040pdf
32
041pdf
33
042pdf
34
043pdf
35
044pdf
36
045pdf
37
046pdf
38
047pdf
39
048pdf
40
049pdf
41
050pdf
42
051pdf
43
052pdf
44
053pdf
45
054pdf
46
055pdf
47
056pdf
48
057pdf
49
058pdf
50
059pdf
51
060pdf
52
061pdf
53
062pdf
54
063pdf
55
064pdf
56
065pdf
57
066pdf
58
067pdf
59
068pdf
60
069pdf
61
070pdf
62
071pdf
63
072pdf
64
073pdf
65
074pdf
66
075pdf
67
076pdf
68
077pdf
69
078pdf
70
079pdf
71
080pdf
72
081pdf
73
082pdf
74
083pdf
75
084pdf
76
085pdf
77
086pdf
78
087pdf
79
088pdf
80
089pdf
81
090pdf
82
091pdf
83
092pdf
84
093pdf
85
094pdf
86
095pdf
87
096pdf
88
097pdf
89
098pdf
90
099pdf
91
100pdf
92
101pdf
93
102pdf
94
103pdf
95
104pdf
96
105pdf
97
106pdf
98
107pdf
99
108pdf
100
109pdf
101
110pdf
102
111pdf
103
112pdf
104
113pdf
105
114pdf
106
115pdf
107
116pdf
108
117pdf
109
118pdf
110
119pdf
111
120pdf
112
121pdf
113
122pdf
114
123pdf
115
124pdf
116
125pdf
117
126pdf
118
127pdf
119
128pdf
120
129pdf
121
130pdf
122
131pdf
123
132pdf
124
133pdf
125
134pdf
126
135pdf
127
136pdf
128
137pdf
129
138pdf
130
139pdf
131
140pdf
132
141pdf
133
142pdf
134
143pdf
135
144pdf
136
145pdf
137
146pdf
138
147pdf
139
148pdf
140
149pdf
141
150pdf
142
151pdf
143
152pdf
144
153pdf
145
154pdf
146
155pdf
147
156pdf
148
157pdf
149
158pdf
150
159pdf
151
160pdf
152
161pdf
153
162pdf
154
163pdf
155
164pdf
156
165pdf
157
166pdf
158
167pdf
159
168pdf
160
169pdf
161
170pdf
162
171pdf
163
172pdf
164
173pdf
165
174pdf
166
175pdf
167
176pdf
168
177pdf
169
178pdf
170
179pdf
171
180pdf
172
181pdf
173
182pdf
174
183pdf
175
184pdf
176
185pdf
177
186pdf
178
187pdf
179
188pdf
180
189pdf
181
190pdf
182
191pdf
183
192pdf
184
193pdf
185
194pdf
186
195pdf
187
196pdf
188
197pdf
189
198pdf
190
199pdf
191
200pdf
192
201pdf
193
202pdf
194
203pdf
195
204pdf
196
205pdf
197
206pdf
198
207pdf
199
208pdf
200
209pdf
201
210pdf
202
211pdf
203
212pdf
204
213pdf
205
214pdf
206
215pdf
207
216pdf
208
217pdf
209
226pdf
218
227pdf
219
228pdf
220
229pdf
221
230pdf
222
231pdf
223
232pdf
224
233pdf
225
234pdf
226
235pdf
227
236pdf
228
237pdf
229
238pdf
230
239pdf
231
240pdf
232
241pdf
233
242pdf
234
243pdf
235
244pdf
236
245pdf
237
246pdf
238
247pdf
239
248pdf
240
249pdf
241
250pdf
242
251pdf
243
252pdf
244
253pdf
245
254pdf
246
255pdf
247
256pdf
248
257pdf
249
258pdf
250
259pdf
251
260pdf
252
261pdf
253
262pdf
254
263pdf
255
264pdf
256
265pdf
257
266pdf
258
267pdf
259
268pdf
260
269pdf
261
270pdf
262
271pdf
263
272pdf
264
273pdf
265
274pdf
266
275pdf
267
276pdf
268
277pdf
269
278pdf
270
279pdf
271
280pdf
272
281pdf
273
282pdf
274
283pdf
275
284pdf
276
285pdf
277
286pdf
278
287pdf
279
288pdf
280
289pdf
281
290pdf
282
291pdf
283
292pdf
284
293pdf
285
294pdf
286
295pdf
287
296pdf
288
297pdf
289
298pdf
290
299pdf
291
300pdf
292
301pdf
293
302pdf
294
303pdf
295
304pdf
296
305pdf
297
306pdf
298
307pdf
299
308pdf
300
309pdf
301
310pdf
302
311pdf
303
312pdf
304
313pdf
305
314pdf
306
315pdf
307
316pdf
308
317pdf
309
318pdf
310
319pdf
311
320pdf
312
321pdf
313
322pdf
314
323pdf
315
324pdf
316
325pdf
317
326pdf
318
327pdf
319
328pdf
320
329pdf
321
330pdf
322
331pdf
323
332pdf
324
333pdf
325
334pdf
326
335pdf
327
336pdf
328
337pdf
329
338pdf
330
339pdf
331
340pdf
332
341pdf
333
342pdf
334
343pdf
335
344pdf
336
345pdf
337
346pdf
338
347pdf
339
348pdf
340
349pdf
341
350pdf
342
351pdf
343
352pdf
344
353pdf
345
354pdf
346
355pdf
347
356pdf
348
357pdf
349
358pdf
350
359pdf
351
360pdf
352
361pdf
353
362pdf
354
363pdf
355
364pdf
356
365pdf
357
366pdf
358
367pdf
359
368pdf
360
369pdf
361
370pdf
362
371pdf
363
372pdf
364
373pdf
365
374pdf
366
375pdf
367
376pdf
368
377pdf
369
378pdf
370
379pdf
371
380pdf
372
381pdf
373
382pdf
374
383pdf
375
384pdf
376
385pdf
377
386pdf
378
387pdf
379
388pdf
380
389pdf
381
390pdf
382
391pdf
383
392pdf
384
393pdf
385
394pdf
386
395pdf
387
396pdf
388
397pdf
389
398pdf
390
399pdf
391
400pdf
392
401pdf
393
402pdf
394
403pdf
395
404pdf
396
405pdf
397
406pdf
398
407pdf
399
408pdf
400
409pdf
401
410pdf
402
411pdf
403
412pdf
404
413pdf
405
414pdf
406
415pdf
407
416pdf
408
417pdf
409
418pdf
410
419pdf
411
420pdf
412
421pdf
413
422pdf
414
423pdf
415
424pdf
416
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 1 - What then is time? If no one asks me. I know; if I wish to explain it to one that asketh, I know not...
Page ii - University of Alberta Editorial Board JOHAN VAN BENTHEM, University of Amsterdam GREGORY N. CARLSON, University of Rochester DAVID DOWTY, Ohio State University, Columbus GERALD GAZDAR, University of Sussex, Brighton IRENE...
Page 15 - Diodorus argued that the following three propositions cannot all be true [Mates 1961, p.38] : (Dl) Every proposition true about the past is necessary. (D2) An impossible proposition cannot follow from (or after) a possible one. (D3) There is a proposition which is possible, but which neither is nor will be true.

Bibliographic information