15-816 Modal Logic
Lecture 25: Propositional Dynamic Logic Theory

In this lecture we study decidability of propositional dynamic logics using Fischer-Ladner closures and filtration.

• Reading: 25-DLtheo.pdf (part I)
• Key concepts:
  • Fischer-Ladner Closure
  • Filtration
  • Small model properties
  • Decidability of PDL
• Previous lecture: Resource Semantics
• Next lecture: First-Order Dynamic Logic Theory

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

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