15-816 Modal Logic
Lecture 6: Gödel and Modal Semantics

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 (from section 4)
• Key concepts:
  • Gödel translation
  • Kripke structures
  • Kripke semantics of classical modal logic
  • Local and global consequence relations
• Previous lecture: Classical Modal Logic
• Next lecture: Soundness and Correspondence

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

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