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
|