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
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!