<p>Lecture, four hours. Requisites: courses 31 (enforced), 135. 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.</p>

Philosophy

Combining rigorous, inclusive pedagogy with opportunities for co-curricular activities—including research, internships, and community engagement—the College provides students with diverse learning experiences that helps them thrive, become critical thinkers, and transform society.

College of Letters and Science

Philosophy is concerned with the big questions that face us all as conscious, reflective beings.

General Catalog

Modal Logic

PHILOS 136

4 units