Temporal Logic: From Ancient Ideas to Artificial IntelligenceTemporal 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 |
9 | |
10 | |
11 | |
12 | |
13 | |
14 | |
15 | |
16 | |
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 |
386 | |
387 | |
388 | |
389 | |
390 | |
391 | |
392 | |
393 | |
394 | |
395 | |
396 | |
397 | |
398 | |
407pdf | 399 |
408pdf | 400 |
409pdf | 401 |
410pdf | 402 |
411pdf | 403 |
404 | |
405 | |
406 | |
407 | |
408 | |
409 | |
410 | |
411 | |
412 | |
421pdf | 413 |
422pdf | 414 |
423pdf | 415 |
424pdf | 416 |
Other editions - View all
Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter Øhrstrøm,Per Hasle Limited preview - 2007 |
Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter Øhrstrøm,Per F. V. Hasle No preview available - 1995 |
Common terms and phrases
A-concepts A. N. Prior According analysis Anselm antecedent argued assume assumption axioms B-logic B-theory before(a,b,x branching Buridan causal chapter CIMP computer science concept conceptual graphs consequence consequentia considered contingent future corresponding counterfactual crucial defined definition Diodorus discussion durations equivalent example existential graphs fact false formulated Hamblin history of logic idea implication instant propositions interpretation ISBN Jan Łukasiewicz Jespersen Lavenham Leibniz logicians Łukasiewicz Master Argument means medieval logic medieval logicians modal logic natural language necessity notion obviously Ockham Ockhamistic Øhrstrøm operator past Peirce Peirce's Peircean philosophical predicate present Prior problem Proof provable proved question reason regarding Reichenbach rejected relation rôle rule Scholastic sea-fight semantics Socrates sophism statement structure suicide symbolic t₁ tempo-modal temporal logic temporal proposition temporalis tense logic tense-logical theorem theory thesis tomorrow true truth value valid William of Ockham Yu Tsun
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.