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

Передняя обложка
Clarendon Press, 1994 - Всего страниц: 656
This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.

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

Содержание

introduction and survey
1
Tentative contents of volume
2
MetateM
13
Авторские права

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

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

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

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