Temporal logic : mathematical foundations and computational aspects
著者
書誌事項
Temporal logic : mathematical foundations and computational aspects
（Oxford logic guides, 28,
Clarendon Press , Oxford University Press, 1994-
- v. 1
- v. 2
大学図書館所蔵 件 / 全53件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and indexes
Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
内容説明・目次
- 巻冊次
-
v. 2 ISBN 9780198537687
内容説明
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
目次
- 1. Introduction and overview
- 2. Temporal logic and automata
- 3. Branching time
- 4. Labelled deduction presentation of temporal logics
- 5. Temporal logic programming
- 6. Combining temporal logic systems
- 7. Extensional semantics
- 8. Intervals and planning
- 9. Many-dimensional systems and generalized quantifiers
- 10. The declarative past and imperative future
- 11. The METATEM programming language
- 12. METATEM in intensive care
- 13. Nonmonotonic coding of the declarative past
- 14. A logical view of temporal databases
- 15. A logical view of temporal database dynamics
- 16. Temporal conceptual-level databases
- 17. Temporal active databases: a background for creating and detecting time paradoxes
- 18. Calendar logic
- 巻冊次
-
v. 1 ISBN 9780198537694
内容説明
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, propositional quantifiers, 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.
目次
- 1. The handling of time: introduction and survey
- 2. Semantical presentation of temporal connectives
- 3. Axiomatic presentation of propositional temporal connectives
- 4. Predicate temporal logics
- 5. Temporal logics presented in the predicate calculus: language-metalanguage
- 6. A general theory of axiomatization for propositional temporal logic
- 7. Basic many-dimensional systems
- 8. Propositional quantifiers and fixed point operators
- 9. Expressive power of one-dimensional temporal connectives: basic concepts
- 10. Expressive completeness of Since and Until over integer and real time
- 11. Expressive completeness of Stavi connectives over general linear time
- 12. Further expressive completeness results
- 13. H-dimension
- 14. Adding a temporal dimension to a logic system
- 15. Decidability in temporal logic
- Bibliography
- Notation Index
- Index of Systems
- Index
「Nielsen BookData」 より
