PHILOS 136Modal Logic
Philosophy · 4 units · Undergraduate upper division (100-199)
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.
When it runs
Not on the schedule for any of Fall 2025 through Spring 2027. UCLA publishes only that window, so this does not mean the course is gone — check the official listing.
Requisites
Official UCLA wording
Requisites: courses 31 (enforced), 135.
BruinTree reads · Prerequisite
confidence 1.00 · from textRequires
Everything that has to come before this course, not just the courses named in the requisite above.
PHILOS 136
- PHILOS 31Logic, First Course
- PHILOS 135Introduction to Metalogic
- PHILOS 132Logic, Second Course
- MATH 33ALinear Algebra and Applications
- MATH 33BDifferential Equations
2 direct requisites. Showing 11 courses over 3 levels; the branches marked with a count carry on past it. Every course here opens its own tree.
Unlocks
What this course is a requisite for, and what those courses lead to in turn.
No course in the catalog lists this as a requisite.