15-816 Modal Logic
Lecture 7: Soundness and Correspondence

In this lecture, we will cover the question how axiomatics and semantics of modal logic fit together.

• Reading: 07-cor.pdf
• Key concepts:
  • Soundness of Hilbert-style K
  • Correspondence theory
  • Soundness of Hilbert-style S4 in reflexive, transitive frames
• Previous lecture: Gödel and Modal Semantics
• Next lecture: Sequent Calculus

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

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