There are currently no scheduled offerings of this course. For more information on when this course may be offered in the future please contact the Registrar's Office.
Standard modal systems in sentential and predicate logic including possible world semantics and completeness proofs. Tense logic and epistemic logic may be considered. Prerequisite: PHIL 220 or consent of Department.