| |
Nov 15, 2024
|
|
|
|
|
University of Alberta Calendar 2021-2022 [ARCHIVED CATALOG]
|
PHIL 421 - Modal Logic
★ 3 (fi 6) (either term, 3-0-0) 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.
|
|