PHILOS 136

Modal Logic

Philosophy · 4 units · Undergraduate upper division (100-199)

Open the requisite map View official UCLA course listing ↗Find on Bruinwalk ↗

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.

Checking the Schedule of Classes…

Requisites

Official UCLA wording
Requisites: courses 31 (enforced), 135.

BruinTree reads · Prerequisite

confidence 1.00 · from text

all of

Requires

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 31Logic, First Courseanother path to it
- PHILOS 132Logic, Second Course
  - PHILOS 31Logic, First Courseanother path to it

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.