15-816 Modal Logic
Lecture 5: Classical Modal Logic

The goal of this lecture is to develop a starting point for classical modal logic, give an introduction to its meaning in a knowledge context, and an introduction to the S4 axiomatics.

• Reading: 05-pml.pdf
• Key concepts:
  • Intuitionistic versus modal refinement of truth
  • A Logic of Knowledge
  • Classical propositional modal logic
  • S4
  • (section 4+ continued next class)
• Previous lecture: Categorical Judgments
• Next lecture: Gödel and Modal Semantics

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

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