Exams

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

Final exam (PDF)

Solutions (PDF)