Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (30 chapters)
-
Front Matter
-
Introduction: Logic and the study of time
-
Time and Logic — From Synthesis to Dissociation
-
Front Matter
-
About this book
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
Authors and Affiliations
-
Department of Communication, Aalborg University, Denmark
Peter Øhrstrøm
-
Department of Information Science, University of Aarhus, Denmark
F. V. Hasle
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