Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy

Prerequisites: 

Course Contents

Modal Propositional Logic Systems K, T, D, S4, S5, B; Automated Proof Methods, Decidability; Consistency, Frames, Canonical Models, Completeness; Finite Models, Incomplete ness. Algebraic semantics Lindenbaum Tarski Algebras, Jonsson Tarski Theorem, Goldblatt Thomason Theorem. Modal Predicate Logic Completed ness; Automated Proof Methods; Identity. Some Modal Systems and applications Temporal, dynamic and epistemic Logics, Topology via Modal Logic. 

Topic