This is an archived course. A more recent version may be available at ocw.mit.edu.

Exams

The final exam covers propositional modal logic and quantified modal logic.

Final exam (PDF)

Solutions (PDF)