Modal Logic (3 cr.) N & M P: P250, and one 300-level mathematics
course, or consent of the instructor. Introduction to modal logic with
emphasis on systems of modal logic which apply to philosophy and
computer science. Includes epistemic logic, temporal logic, deontic
logic, and logics for reasoning about space. Covers the semantics of
these systems, and only secondarily will be concerned with the
standard results about them.