M384 | 28118 | Moss, L

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.