Product Information
This text deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the 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. The book thus aims to interweave linguistic, philosophical and computational aspects into an informative whole.Product Identifiers
PublisherSpringer
ISBN-139780792335863
eBay Product ID (ePID)94532640
Product Key Features
Publication NameTemporal Logic: from Ancient Ideas to Artificial Intelligence
SubjectComputer Science, Science
Publication Year1995
TypeTextbook
FormatHardcover
LanguageEnglish
AuthorPer Hasle, Peter Ohrstrom
Number of Pages416 Pages
Dimensions
Item Height297 mm
Item Weight1710 g
Additional Product Features
Country/Region of ManufactureNetherlands
Title_AuthorPer Hasle, Peter Ohrstrom
Series TitleStudies in Linguistics and Philosophy
TopicPopular Philosophy