This course covers the syntax and model theory of quantified modal logic with applications to e.g., deontic logic, epistemic logic, and the philosophy of logic.

Prerequisites: All 400-level philosophy courses have a prerequisite of 9 hours of philosophy, or permission of the instructor. All 800-level philosophy courses have a prerequisite of graduate standing, or permission of the instructor.

Philosophy 412/812 has a prerequisite of Philosophy 211 or the equivalent, or permission of the instructor.

Frequency: Philosophy 412/812 is offered once every two years, alternating with Philosophy 411/811.