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.

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

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