Mondays: 12:00 -- 14:00;

Thursdays: 9:00 -- 10:00.

Calle Montalegre 6 in Aula 402. The start date is Monday, February 11.

The final grade is determined by

(A) Homework questions (this may include a mid-term exam); (60 %)

(B) Final Exam; (40 %).

All materials and assignments will also be placed on this page.

Joost J. Joosten is the lecturer of this course. The best way to contact me is by sending me an e-mail. You can also come around to see if I am in at the Montalegre building in Room 4045 with phone number +34 934037984.

Some time between the first and the 28th of June we will have the final exam. An eventual resit could be held between July 8 and 12. The literature will consist of among others a reader to be distributed among the participants.

The modal logic course constitutes for 5 European credits and as such comprises 42 contact hours, so that makes 14 weeks, 3 hours each. You can find the complete schedule here. Likewise there is an official page with the course description.

Week 1 | | | Week 5 | | | Week 9 | | | Week 13 | |

Week 2 | | | Week 6 | | | Week 10| | | Week 14 | |

Week 3 | | | Week 7 | | | Week 11 | ||

Week 4 | | | Week 8 | | | Week 12 |

We spoke about the motivation for modal logics. Particular emphasis was given to employ Modal logics as calculi that describe parts of (meta)mathematics. We gave the formal definition of our Logic K in terms of a Hilbert-style calculus. As such we have covered the first chapter of my book that shall be given out on this webpage in tasty weekly digests. If you wish to get the password to open it, just send me an email.

Once every two or three weeks I will ask you to hand in a batch of homework exercises.

However, in advance — that is, every week— I will tell you which exercises may be included in the assignment set.

For this week, it could be any collection of exercises from

1.6.1

1.6.2

1.6.3

1.6.4

1.6.5

1.6.11

1.6.12

1.6.14

For this week, the homework exercises could be any collection of exercises from

1.6.1

2.4.1

2.4.5

2.4.6

2.4.7

2.4.11

2.4.12

For this week, the homework exercises could be any collection of exercises from

3.5.1

3.5.1

3.5.4

3.5.5

3.5.10

3.5.12

3.5.13

3.5.15

4.4.3

4.4.5

4.4.7

4.4.8

4.4.12

4.4.4

4.4.12

5.4.3

6.5.2

And 6.5.6

We finished van Benthem's characterisation theorem of the modal logic fragment of first order logic.

7.5.1,

7.5.3,

7.5.8,

and 7.5.9.

During the exam, you will not be allowed to consult any sources. All material covered in class, lecture notes and Boolos belongs to the curriculum except for the lectures on quantified provability logic.

The final grades have been uploaded to the Campus Virtual.