Lecture 1  Introducing propositional logic 
Lecture 2  Metalogic 
Lecture 3  The Ineffability Theorem 
Lecture 4  Nonmonotonic Logic 
Mid Semester Break 

Lecture 5  Belief Change 
Lecture 6  Automated Reasoning Algorithms 
Lecture 7  Epistemic logic 
Lecture 8  Temporal logic 
Lecture 9  BDI agents and LORA 
Lecture 10 (MP3)  SATsolvers (Slides) 
Lecture 11 (MP3)  First order predicate calculus (Slides) 
Lecture 12 (MP3)  Datalog (Slides) 
Lecture 13 (MP3)  Description logics (Slides) 