Temporal Logic: Mathematical Foundations and Computational Aspects, Том 1

Передняя обложка
Clarendon Press, 1994 - Всего страниц: 653
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositionalquantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Результаты поиска по книге

Отзывы - Написать отзыв

Не удалось найти ни одного отзыва.

Содержание

introduction and survey
1
Metatem
13
Semantical presentation of temporal connectives
67
Авторские права

Не показаны другие разделы: 16

Другие издания - Просмотреть все

Часто встречающиеся слова и выражения

Об авторе (1994)

Dov Gabbay, Ian Hodkinson, and Mark Reynolds are all at Imperial College of Science, Technology and Medicine, London.

Библиографические данные