Temporal Logic
Subtitle: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Dov M. Gabbay (Editor); Hans J. Ohlbach (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 1994
Language: eng
Format: Paperback
Number of pages: 546
ISBN-13: 9783540582410
Subjects: Artificial intelligence; Computer architecture & logic design; Mathematical theory of computation; Logic; Computers - General Information; Artificial Intelligence - General; Logic Design; Computers / Artificial Intelligence; nicht-klassische Logiken; nonclassical logics; temporal databases; temporal logic; temporal reasoning; temporal specifications; zeitabhängige Datenbanken; zeitabhängige Logik; zeitabhängige Spezifikation; zeitabhängiges Schließen; Programming
First sentence: In recent years, a number of logics for specifying and verifying real-time systems have been proposed.