Registrar Home | Registrar Search:
Home | Subject Search | Help | Symbols Help | Pre-Reg Help | Final Exam Schedule | My Selections

MIT Subject Listing & Schedule
IAP/Spring 2025 Search Results

Searched for:

1 subject found.

24.244 Modal Logic
______

Not offered academic year 2024-2025Undergrad (Spring) HASS Humanities
Prereq: 24.141
Units: 3-0-9
______
Sentential and quantified modal logic, with emphasis on the model theory ("possible worlds semantics"). Soundness, completeness, and characterization results for alternative systems. Tense and dynamic logics, epistemic logics, as well as logics of necessity and possibility. Applications in philosophy, theoretical computer science, and linguistics. Enrollment may be limited.
R. Stalnaker