The course will begin by surveying possible worlds semantics for some classical modal logics and developing the logical theory. This will include axiomatizations, proofs of semantic completeness, and basic model theoretic techniques and results.
Modal logic is pursued and applied in many different areas. The rest of the course will survey as many of these as possible, with emphasis depending on the interests of the class. Topics include: logic of single-agent knowledge and perception, multi-agent logics, mutual knowledge, branching time and historical necessity, deontic logic, modality and nonmonotonicity, proof theory, modality and modularity in reasoning.
This course assumes background in logic. If you have not had PHIL 414 or the equivalent, you should communicate with the instructor before registering for this course. This course will be arranged so that students can get credit by doing regular exercises and either taking a final examination or doing a research project.