24.244 Modal Logic


Class Info

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.

This class has 24.241 as a prerequisite.

24.244 will be offered this semester (Fall 2017). It is instructed by S. Yablo.

Lecture occurs 9:30 AM to 11:00 AM on Mondays and Wednesdays in 32-D831.

This class counts for a total of 12 credits. This class counts as a HASS H.

In the Spring 2016 Subject Evaluations, 24.244 was rated 6.5 out of 7.0. You can find more information on MIT OpenCourseWare at the Modal Logic site or on the 24.244 Stellar site.

Required Textbooks
Save up to up to 78% by purchasing through MIT Textbooks!
Unspecified Textbooks
Save up to a ton by purchasing through MIT Textbooks!
MIT 24.244 Modal Logic Related Textbooks
MIT 24.244 Modal Logic On The Web
Modal Logic
Tags
license creative by-nc-sa yablo stephen yablo creative commons massachusetts institute of technology

© Copyright 2015