Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
Similar content being viewed by others
Keywords
Table of contents (30 chapters)
-
Introduction: Logic and the study of time
-
Time and Logic — From Synthesis to Dissociation
-
Time and Logic Reunited
Authors and Affiliations
Bibliographic Information
Book Title: Temporal Logic
Book Subtitle: From Ancient Ideas to Artificial Intelligence
Authors: Peter Øhrstrøm, F. V. Hasle
Series Title: Studies in Linguistics and Philosophy
DOI: https://doi.org/10.1007/978-0-585-37463-5
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1995
Hardcover ISBN: 978-0-7923-3586-3Published: 30 September 1995
Softcover ISBN: 978-90-481-4584-3Published: 07 December 2010
eBook ISBN: 978-0-585-37463-5Published: 27 August 2007
Series ISSN: 0924-4662
Series E-ISSN: 2215-034X
Edition Number: 1
Number of Pages: VIII, 416
Topics: Logic, Computer Science, general, Theoretical Linguistics, Philosophy of Science