PHIL 474
Modal Logic
Notions of necessity and possibility, using the classical systems T, S4, and S5, and the syntax and the semantics (Kripke models) of these systems.
Sources
- Course catalogue ↗Current public catalogue; retrieved 2026-11-05
Notions of necessity and possibility, using the classical systems T, S4, and S5, and the syntax and the semantics (Kripke models) of these systems.