Modal Logic




Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy


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. 



Number of sections:

Tutors for each section:

Schedule for Lectures:

Schedule for Tutorial:

Schedule for Labs:



Birds at IIT Kanpur
Information for School Children
IITK Radio
Counseling Service