Dynamic logic /
Saved in:
Author / Creator: | Harel, David, 1950- |
---|---|
Imprint: | Cambridge, Mass. : MIT Press, 2000. |
Description: | 1 online resource (xv, 459 pages) : illustrations. |
Language: | English |
Series: | Foundations of computing. Foundations of computing. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11138829 |
Table of 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.