This course examines various modal logical systems including alethic modal logic, epistemic logic, deontic logic, tense logic, and the logic of propositional attitudes. Emphasis will be on quantification, identity, descriptions, scoped singular terms, and actuality. Prerequisite: PHIL 310, or consent of the instructor.