Studies in Linguistics and Philosophy

Temporal Logic

From Ancient Ideas to Artificial Intelligence

Authors: Øhrstrøm, Peter, Hasle, Per

Free Preview

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-0-585-37463-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 176,79 €
price for Spain (gross)
  • ISBN 978-0-7923-3586-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 176,79 €
price for Spain (gross)
  • ISBN 978-90-481-4584-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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 (30 chapters)

Buy this book

eBook 142,79 €
price for Spain (gross)
  • ISBN 978-0-585-37463-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 176,79 €
price for Spain (gross)
  • ISBN 978-0-7923-3586-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 176,79 €
price for Spain (gross)
  • ISBN 978-90-481-4584-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Temporal Logic
Book Subtitle
From Ancient Ideas to Artificial Intelligence
Authors
Series Title
Studies in Linguistics and Philosophy
Series Volume
57
Copyright
1995
Publisher
Springer Netherlands
Copyright Holder
Springer Science+Business Media Dordrecht
eBook ISBN
978-0-585-37463-5
DOI
10.1007/978-0-585-37463-5
Hardcover ISBN
978-0-7923-3586-3
Softcover ISBN
978-90-481-4584-3
Series ISSN
0924-4662
Edition Number
1
Number of Pages
VIII, 416
Topics