11/26/07: Introduction and Motivating Examples 

Topics: highlight a number of arguments involving modal notions. Introduce the syntax of modal logic and discuss some interesting puzzles.
Lecture Slides


11/28/07: Basic Modal Logic 

Topics: formal solution to the muddy children puzzle, introduce Kripke structures and truth of modal formulas.
Lecture Slides
Homework


11/30/07: Basic Modal Logic II 

Topics: discussed a number of issues surrounding truth of modal formulas in Kripke structures.
Lecture Slides


12/3/07: Basic Modal Logic III 

Topics: Review and summary of basic modal logic.
Lecture Slides


12/5/07: Dynamics in Logic 

Topics: Epistemic Logic, Common Knoweldge, Public Announcement Logic
Lecture Slides


12/8/07: Dyanmics in Logic 

Topics: Epistemic Logic, Common Knowledge, Logic and Games
Lecture Slides
Details about Question 12 on the final.

