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

In this lecture we study decidability of propositional modal logics.

• Reading: 21-decidable.pdf
• Reading: 13-noncor.pdf
• Key concepts:
  • Filtration
  • Existential abstraction
  • Small model properties
  • Decidability of K
  • Decidability of T
  • Decidability of S4
  • Decidability of S5
  • Transitive filtration
• Previous lecture: Completeness and Canonical Models
• Next lecture: Intuitionistic Temporal Logic

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

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