Temporal Logic

Temporal Logic

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.

GET EBOOK

Author
Publisher Springer Science & Business Media
Release Date
ISBN 0585374635
Pages 416 pages
Rating 4/5 (35 users)

More Books:

Temporal Logic
Language: en
Pages: 416
Authors: Peter Øhrstrøm
Categories: Philosophy
Type: BOOK - Published: 2007-08-27 - Publisher: Springer Science & Business Media

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the fi
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 427
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Temporal Logic
Language: en
Pages: 551
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 1994-06-29 - Publisher: Springer Science & Business Media

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its concep
Advances in Temporal Logic
Language: en
Pages: 453
Authors: Howard Barringer
Categories: Mathematics
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studie
Temporal Logic in Specification
Language: en
Pages: 452
Authors: Behnam Banieqbal
Categories: Computers
Type: BOOK - Published: 1989-10-11 - Publisher: Springer Science & Business Media

Self-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rar
Temporal Logic
Language: en
Pages: 273
Authors: Nicholas Rescher
Categories: Science
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been pro
Temporal Logic of Programs
Language: en
Pages: 148
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Language: en
Pages: 164
Authors: Ron Koymans
Categories: Computers
Type: BOOK - Published: 1992-12-14 - Publisher: Springer Science & Business Media

Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natur
Temporal Logic and State Systems
Language: en
Pages: 436
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2008-03-12 - Publisher: Springer Science & Business Media

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on unive
An Introduction to Practical Formal Methods Using Temporal Logic
Language: en
Pages: 368
Authors: Michael Fisher
Categories: Technology & Engineering
Type: BOOK - Published: 2011-03-16 - Publisher: John Wiley & Sons

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple