Temporal Logic: Mathematical Foundations and Computational Aspects, Том 1Clarendon 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
Другие издания - Просмотреть все
Temporal Logic: Mathematical Foundations and Computational Aspects, Том 1 Dov M. Gabbay,Ian Hodkinson,Mark A. Reynolds Недоступно для просмотра - 1994 |
Часто встречающиеся слова и выражения
a₁ accessibility relation assignment h assume atom q axiom system axiomatization axioms and rules B₁ binary binary relation boolean combination chapter classical logic Consider consistent construction countable database decidable Dedekind complete define definition disjunction elements equivalent example exists expressive power expressively complete Figure finite H-dimension first-order logic fixed point formal free variables function symbols Gabbay Gurevich Hence holds inductive hypothesis integer interpretation interval irreflexive isomorphic lemma linear flows logic system metalanguage modal logic monadic predicate natural numbers obtain one-dimensional predicate logic Proof propositional prove pure past q is true quantifier result Sahlqvist formula satisfies second-order logic second-order theory semantics sentence separation sequence similarly subformula subset Suppose t₁ temporal connectives temporal formula temporal language temporal logic temporal structure tense logic theorem truth table truth value valid write