Temporal Logic - From Ancient Ideas to Artificial Intelligence (Hardcover, 1995 ed.)

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.

General

Imprint:	Springer
Country of origin:	Netherlands
Series:	Studies in Linguistics and Philosophy, 57
Release date:	March 2003
First published:	September 1995
Authors:	Peter Ohrstrom • Per Hasle
Dimensions:	297 x 210 x 33mm (L x W x T)
Format:	Hardcover
Pages:	416
Edition:	1995 ed.
ISBN-13:	978-0-7923-3586-3
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-7923-3586-4
Barcode:	9780792335863

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!