| |
Intstructor: Dr Eric Pacuit
Class Meetings: Wednesdays 15-17, Thursdays 15-17
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 1-8) |
| 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 Hilbert-style 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 9-16) |
| 9 |
Nov. 2 |
3.3, Sahlqvist Formulas |
Due Nov. 9
3.2.2, 3.3.3 (a-c), 3.5.3 |
| Nov. 3 |
|
3.3.2 (a-f), 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 |
|
|
|