PHILOS 136

Modal Logic

Description: 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.

Units: 4.0
1 of 1
Overall Rating N/A
Easiness N/A / 5
Clarity N/A / 5
Workload N/A / 5
Helpfulness N/A / 5
Overall Rating N/A
Easiness N/A / 5
Clarity N/A / 5
Workload N/A / 5
Helpfulness N/A / 5
AD
1 of 1

Adblock Detected

Bruinwalk is an entirely Daily Bruin-run service brought to you for free. We hate annoying ads just as much as you do, but they help keep our lights on. We promise to keep our ads as relevant for you as possible, so please consider disabling your ad-blocking software while using this site.

Thank you for supporting us!