Search Results

24.244 Modal Logic

Prereq: 24.241
U (Fall)
12 Units. HASS-H

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.

V. McGee

See more...