15-816 Modal Logic

This page may be updated from time to time with useful information and links about modal logic.

Definitions of Modal Logic

These definitions are unlikely to be a good predictor for the contents of the course, which focuses on applications of modal logic in computer science.

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

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