Logics of time and computation
著者
書誌事項
Logics of time and computation
(CSLI lecture notes, no. 7)
Center for the Study of Language and Information, c1992
2nd ed., rev. and expanded
- : pbk
大学図書館所蔵 件 / 全44件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 169-174
Includes index
内容説明・目次
内容説明
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
目次
- Preface to the first edition
- Preface to the second edition
- Part I. Propositional Modal Logic: 1. Syntax and semantics
- 2. Proof theory
- 3. Canonical models and completeness
- 4. Filtrations and decidability
- 5. Multimodal languages
- 6. Temporal logic
- 7. Some topics in metatheory
- Part II. Some Temporal and Computational Logic: 8. Logics with linear frames
- 9. Temporal logic of concurrency
- 10. Propositional dynamic logic
- Part III. First-Order Dynamic Logic: 11. Assignments, substitutions, and quantifiers
- 12. Syntax and semantics
- 13. Proof theory
- 14. Canonical model and completeness
- Bibliography
- Index.
「Nielsen BookData」 より