Research Catalog
Dynamic logic
- Title
- Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
- Author
- Harel, David, 1950-
- Publication
- Cambridge, Mass. : MIT Press, 2000.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.9.L63 H37 2000 | Off-site |
Details
- Additional Authors
- Description
- xv, 459 pages : illustrations; 23 cm.
- Series Statement
- Foundations of computing
- Uniform Title
- Foundations of computing.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- I. Fundamental Concepts. 1. Mathematical Preliminaries. 2. Computability and Complexity. 3. Logic. 4. Reasoning About Programs -- II. Propositional Dynamic Logic. 5. Propositional Dynamic Logic. 6. Filtration and Decidability. 7. Deductive Completeness. 8. Complexity of PDL. 9. Nonregular PDL. 10. Other Variants of PDL -- III. First-Order Dynamic Logic. 11. First-Order Dynamic Logic. 12. Relationships with Static Logics. 13. Complexity. 14. Axiomatization. 15. Expressive Power. 16. Variants of DL. 17. Other Approaches.
- ISBN
- 0262082896 (alk. hc)
- LCCN
- 00030380
- OCLC
- ocm43894182
- SCSB-4011451
- Owning Institutions
- Columbia University Libraries