
Intstructor: Dr Eric Pacuit
Class Meetings: Wednesdays 1517, Thursdays 1517
Classroom: P.019
Textbook: Modal Logic by P. Blackburn, M. de Rijke and Y. Venema. You can find the errata for the book here. You can purchase the book
in the bookstore or, for example, through amazon.com
Evaluation: There will be 11 homework assignments for 6 points and one for 10 points, for a total of 76 points. The final grade will depend on the total number of homework points.
Grades: Grades will be posted as soon as possible. I expect to be finished by the first week of January. Please send your final assignments to me as soon as possible. 


Course Schedule
(subject to change) 
Week 
Date 
Topics 
Homework Sets 
Period A (weeks 18) 
1 
Sep. 7 
Introduction, 1.1  1.4, 1.6 
Due Sep. 14
Problem Set 1 
Sep. 8 
Practice session 
Practice Problems 1 (With the derivation from the end of class) 
2 
Sep. 14 
2.1 
Due Sep. 21 Exercises 2.1.1, 2.1.3, 2.1.4 
Sep. 15 
Practice session 
Given in class 
3 
Sep. 21 
2.2 
Due Sep. 28 Homework 3 
Sep. 22 
Practice session 
2.2.1, 2.2.2, 2.2.8 
4 
Sep. 28 
2.3 
Due Oct. 5 Homework 4 
Sep. 29 
Practice session 
Examples of Hilbertstyle proofs, try exercise 2.3.8 
5 
Oct. 5 
2.4 and Introduction to PDL 
Due Oct. 12 Homework 5 
Oct. 6 
Practice Session 
PDL practice problems 
6 
Oct. 12 
2.5 
Due Oct. 19 Homework 6 
Oct. 13 
2.5, 3.1 
 
7 
Oct. 19 
3.1, 3.2, 3.3 
No Homework 
Oct. 20 
Practice session 
3.1.1, 3.1.2 
8 
Oct. 26 
No Class Exam Week 

Oct. 27 
No Class Exam Week 

Period B (weeks 916) 
9 
Nov. 2 
3.3, Sahlqvist Formulas 
Due Nov. 9 3.2.2, 3.3.3 (ac), 3.5.3 
Nov. 3 

3.3.2 (af), 3.5.1 
10 
Nov. 9 
Sahlqvist Formulas 
Due Nov. 17 Porblem Set 8 
Nov. 10 
4.1, 4.2 

11 
Nov. 16 
4.1, 4.2, 4.3 
Due November 23 (in my mailbox) 4.3.2, 4.3.4, 4.3.6 
Nov. 17 
4.3 
4.3.1, 4.3.5 
12 
Nov. 23 
Special Guest: Dick de Jongh Reading material (Chapter 6) 
Due Nov. 30 Exercise 59, 62 (i), (ii), and (iii) from the notes. 
Nov. 24 
Practice session 
Exercises 60, 61, 63 from the notes. 
13 
Nov. 30 
Special Guest: Dick de Jongh Reading material (Chapter 4) 
Due Dec. 7 Problem Set 11 
Dec. 1 
Explicit Modal Logics/Practice session 

14 
Dec. 7 
4.4 
Due Dec. 18 Homework 12 (10 points) 
Dec. 8 
4.4 and More on Explicit Modal Logics 
See The Logic of Proofs, Semantically 
15 
Dec. 16 
Completeness of PDL See 4.8 and Parikh and Kozen's Proof 

Dec. 17 
TBA 


