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 not be offered this semester. It will be available in the Fall semester, and will be instructed by .

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

You can find more information at the MIT + 24.244 - Google Search site.

MIT 24.244 Modal Logic Related Textbooks
MIT 24.244 Modal Logic On The Web

© Copyright 2015