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
Units: 4.0
Last Name
- Last Name
- First Name
- Number of Ratings
- Avg. Overall
- Avg. Easiness
- Avg. Workload
- Avg. Clarity
- Avg. Helpfulness
1 of 1
1 of 1
