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