Lecture, four hours. Requisites: courses 31 (enforced), 135. Introduction to model theory of modal logic (family of systems that includes logics of possibility and necessity, temporal logics, epistemic logics, and logics of actions/programs). Topics include invariance results, definability theory, completeness theory, game-theoretic methods, and relationship between modal logics and (classical) first- and second-order logic. P/NP or letter grading.

Review Summary

Clarity
N/A
Organization
N/A
Time
N/A
Overall
N/A

Course

Instructor
Adam Crager
Previously taught
23S 22W 21W 18F 17S 16W 15S