15-816 Modal Logic
Lecture 20: Completeness and Canonical Models

In this lecture, we study completeness of (Hilbert-style) proof systems for propositional modal logics. The device of canonical models gives a rich and systematic framework for understanding completeness questions and other advanced properties.

• Reading: 20-complete.pdf
• Key concepts:
  • Normal modal logics
  • Maximal consistency
  • The canonical Kripke structure
  • Completeness of propositional modal logics
• Previous lecture: Dynamic Logic
• Next lecture: Decidability and Filtrations

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

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