PHIL 416 - Modal Logic
Section: 001
Term: FA 2011
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Requirements & Distribution:
Waitlist Capacity:
Advisory Prerequisites:
PHIL 414 or permission of instructor.
This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
May not be repeated for credit.
Primary Instructor:

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.

PHIL 416 - Modal Logic
Schedule Listing
001 (LEC)
MW 9:30AM - 11:00AM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.

ISBN: 0521527147
Modal logic, Author: Patrick Blackburn ; Maarten de Rijke ; Yde Venema., Publisher: Cambridge University Press 1. pbk. ed 2002
Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

Click the button below to view historical syllabi for PHIL 416 (UM login required)

View Historical Syllabi
The CourseProfile (ART) system, supported by the U-M Provost’s 3rd Century Initiative through a grant to the Digital Innovation Greenhouse, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (ART)