PHILOS 136

Modal Logic

Description: Lecture, four hours. Requisite: course 31. First course in two-term sequence (also see course 176). Topics include various normal modal systems, derivability within the systems, Kripke-style semantics and generalizations, Lemmon/Scott completeness, incompleteness in tense and modal logic, quantificational extensions. Letter grading.

Units: 4.0
1 of 1

Adam Crager

Overall Rating 4.0
Easiness 2.0/ 5
Clarity 3.0/ 5
Workload 3.0/ 5
Helpfulness 4.0/ 5
Most Helpful Review
No reviews have been written yet.

Sean Walsh

Overall Rating 5.0
Easiness 5.0/ 5
Clarity 5.0/ 5
Workload 5.0/ 5
Helpfulness 5.0/ 5
Most Helpful Review
No reviews have been written yet.
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!