Dynamic logic /

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be descri...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Harel, David, 1950-
Other Authors: Kozen, Dexter, 1951-, Tiuryn, Jerzy
Format: Electronic eBook
Language:Inglés
Published: Cambridge, Mass. : MIT Press, 2000.
Series:Foundations of computing.
Subjects:
Computer logic.
Formal methods (Computer science)
Logique informatique.
Méthodes formelles (Informatique)
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer logic
COMPUTER SCIENCE/Theoretical Computer Science
Online Access:Texto completo
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.

Similar Items