MTH701A - Modal Logic

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.