Wednesdays: 18:00 -- 19:30;

Fridays: 12:00 -- 13:30.

Calle Montalegre 6 in Aula 410. The start date is Wednesday, February 18.

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 us a mail. You can also come around to see if I am in at the Montalegre building in Room 1095 with phone number +34 934031939.

The teaching assistant for this course is Eduardo Hermo Reyes. He might be grading some of the exercises and is available for helping on theory and exercises outside class-hours. Also, he shall present some worked-out exercise sets. The best way to contact Eduardo is by sending a mail to the address that starts with "ehermo" followed by a dot, that is a symbol ".", then goes "reyes" that an at symbol, and then the reversal of "liamg" and then the dot and then the reversal of "moc".

The literature will consist of among others a reader to be distributed among the participants.

The academic teaching-evaluation period of the the master for the second semester is from February 9 to June 26. Our course 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 have spoken on the motivation of modal logic, mentioned some high level properties, dealt with the basic syntactical definitions, reflected on inductively defined sets with their corresponding induction principles, defined logic K with a Hilbert-style calculus, and proved consistency of K.

Here is the reader for the first week. The homework consists of Exercises 1.4.1, 1.4.3, and 1.4.4.

Here is the reader for the second week. The homework consists of Exercises 1.6.1, 1.6.11, and 1.6.14, and 1.6.15 and is due for Friday before the start of the next lecture.

Here is the reader for the third and fourth week. The homework is slightly more than before since it comprises two weeks of material and consists of Exercises 1.6.1 (note more typos, since some text has not even been proof-read), 1.8.17, and 1.8.18, and 1.8.19 and the rule (L\/) for Exercises 1.8.21 and 1.8.22. (Note that the reference to Lemma 1.10 should be a reference to Lemma 1.7.4 (and this is not allowed as a possible typo anymore :-) )).

The homework is due before our lecture on next Wednesday, March 18.

17:00--20:00?

Aula 410 (Philosophy building).

Here is the final exam.