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.

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

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