Next:
Introduction
Propositional Dynamic Logic (PDL)
Introduction
Motivation
Syntax
Semantics
Satisfiability, Validity, Logical Consequence
A Deductive System
Fundamental Results
Filtration*
Decidability & Complexity*
Completeness*
Hoare Logic
Bisimulation*
Variants of PDL
Restricted Tests*
Complementation and Intersection of Programs*
Converse*
Deterministic Programs*
Total Correctness*
History
Demonstrations*
Example Problems
Truth in Models
Validity, Satisfiability, Logical Consequence
Exercises*
Related Topics
Literature
References
Index
Comments
About this document ...
Marc Pauly
2/10/1998
_files/next_motif.gif)
_files/up_motif_gr.gif)
_files/previous_motif_gr.gif)
_files/index_motif.gif)