Temporal Logic: From Ancient Ideas to Artificial Intelligence

Valutazione media 4,5
( su 2 valutazioni fornite da GoodReads )
 
9780792335863: Temporal Logic: From Ancient Ideas to Artificial Intelligence

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:

Preface. Introduction. Part 1: Time and Logic. 1.1. The Sea-Fight Tomorrow. 1.2. The Master Argument of Diodorus Cronus. 1.3. The Study of Tenses in the Middle Ages. 1.4. Temporal Ampliation. 1.5. The Duration of the Present. 1.6. The Logic of Beginning and Ending. 1.7. Time and Consequentia. 1.8. Temporalis -- the Logic of `While'. 1.9. Human Freedom and Divine Foreknowledge. 1.10. The Downfall of Medieval Tense-Logic. 1.11. Logic as a Timeless Science. Part 2: Time and Logic Reunited. 2.1. The 19th Century and Boolean Logic. 2.2. C.S. Peirce on Time and Modality. 2.3. Lukasiewicz's Contribution to Temporal Logic. 2.4. A Three-Point Structure of Tenses. 2.5. A.N. Prior's Tense-Logic. 2.6. The Idea of Branching Time. 2.7. Tense Logic and Special Relativity. 2.8. Some Basic Systems of Temporal Logic. 2.9. Four Grades of Tense-Logical Involvement. 2.10. Metric Tense Logic. Part 3: Modern Issues in Temporal Logic. 3.1. Two Paradigms of Temporal Logic. 3.2. Indeterministic Tense Logic. 3.3. Leibnizian Tense Logic. 3.4. Tense Logic and Counterfactual Reasoning. 3.5. Logic of Durations. 3.6. Graphs for Time and Modality. 3.7. Temporal Logic and Computer Science. 4: Conclusion. Appendix. Bibliography. Index. Some Important Logicians.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Rilegato Quantità: 15
Print on Demand
Da
English-Book-Service Mannheim
(Mannheim, Germania)
Valutazione libreria
[?]

Descrizione libro Springer, 1995. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria LP9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 229,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

2.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer Sep 1995 (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Quantità: 1
Print on Demand
Da
AHA-BUCH GmbH
(Einbeck, Germania)
Valutazione libreria
[?]

Descrizione libro Springer Sep 1995, 1995. Buch. Condizione libro: Neu. 235x155x28 mm. This item is printed on demand - Print on Demand Titel. Neuware - 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. 416 pp. Englisch. Codice libro della libreria 9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 208,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 29,50
Da: Germania a: U.S.A.
Destinazione, tempi e costi

3.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Kluwer Academic Publishers (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Secaucus, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Kluwer Academic Publishers, 1995. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 235,08
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,71
In U.S.A.
Destinazione, tempi e costi

4.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Kluwer Academic Publishers (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Kluwer Academic Publishers, 1995. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 228,51
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,56
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 1995. Hardback. Condizione libro: NEW. 9780792335863 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0280319

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 233,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,39
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer (2016)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780792335863_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 254,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 1995. Hardcover. Condizione libro: New. book. Codice libro della libreria 0792335864

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 272,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Springer 1995-09-30 (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer 1995-09-30, 1995. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00687577

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 270,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,51
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Kluwer Academic Publishers, United States (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Kluwer Academic Publishers, United States, 1995. Hardback. Condizione libro: New. 1995 ed.. 236 x 160 mm. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria APC9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 279,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Ohrstrom, Peter; Hasle, Per F. V.
Editore: Kluwer Academic Publishers, United States (1995)
ISBN 10: 0792335864 ISBN 13: 9780792335863
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Kluwer Academic Publishers, United States, 1995. Hardback. Condizione libro: New. 1995 ed.. 236 x 160 mm. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria APC9780792335863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 281,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro