商品詳細(参照) | Knowledge Worker

Temporal Logic:Volume 1 (Oxford Logic Guides, Vol.28) '94

Gabbay, Dov M., Hodkinson, Ian, Reynolds, Mark 　著

在庫状況お取り寄せ	お届け予定日 2週間
価格 \96,307（税込）

発行年月	1994年07月
出版社／提供元	Oxford at the Clarendon Press
出版国	イギリス
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	668 p., line figures, tables
ジャンル	洋書／理工学／数学／数学基礎論
ISBN	9780198537694
商品コード	0209426921
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209426921

内容

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. Semanticalpresentation of temporal connectives; 3. Axiomatic presentation ofpropositional temporal connectives; 4. Predicate temporal logics; 5. Temporallogics presented in the predicate calculus: language-metalanguage; 6. Ageneral theory of axiomatization for propositional temporal logic; 7. Basicmany-dimensional systems; 8. Propositional quantifiers and fixed pointoperators; 9. Expressive power of one-dimensional temporal connectives: basicconcepts; 10. Expressive completeness of Since and Until over integer andreal time; 11. Expressive completeness of Stavi connectives over generallinear time; 12. Further expressive completeness results; 13. H-dimension;14. Adding a temporal dimension to a logic system; 15. Decidability intemporal logic; Bibliography; Notation Index; Index of Systems; Index