Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.

Author
Harel, David, 1950- [Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, 2000.
Description
xv, 459 pages : illustrations ; 23 cm.

Details

Subject(s)
Related name
Series
Foundations of computing. [More in this series]
Bibliographic references
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
43894182
RCP
C - S
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...

Supplementary Information