Modal Logic

(3 Credit Hours) · Undergraduate

This course covers topics in the metatheory of modal logic. We will start with some basic correspondence theory, and then move on to discuss completeness and the finite model property. If we have time, we'll also cover some recent work on the relationship between modal logic and classical logic.