15-816 Modal Logic
Resources

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