15-816 Modal Logic
Lecture 19: Dynamic Logic

In this lecture we give a brief overview of dynamic logic, which is a specification and verification language for programs.

• Reading: 19-PDL.pdf
• Key concepts:
  • Structured modalities
  • Structured multi-modal Kripke structures
  • Propositional Dynamic Logic
  • PDL axiomatization
  • Dynamic logic
  • Sequent calculus
• Previous lecture: Model Checking
• Next lecture: Completeness and Canonical Models

[ Home | Schedule | Assignments | Projects | Handouts | Resources ]

fp@cs, aplatzer@cs
Frank Pfenning, André Platzer