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.
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.
