Modal Logic 2024/2025 (official course code 569070)

Organisation

Here an academic year calendar of the UB can be found.

For us it is important to know:
Teaching period (including exam): February 10 — June 27, 2025. 
Re-sit period: June 23 — July 4, 2025.
The lectures will take place
Mondays: 15:30 -- 17:00;
Wednesdays: 15:30 -- 17:00.
See also here.
The classes are in Calle Montalegre 6 in Aula 412 on the fourth floor. The start date is Monday, February 10. Official schedule information can be found here

The page below will be updated as we proceed.

The final grade is (as per teaching plan) determined by
(A) Homework questions (this may include a mid-term exam); (40 %)
(B) Presentation in class (10 %);
(C) Midterm + Final Exam; (25 + 25 %).

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

See also here and here.

Joost J. Joosten is the lecturer of this course.
The course counts with a teaching assistant: Vicent Navarro Arroyo. 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.


TO BE UPDATED
Week 1 | | Week 5 | | Week 9 | | Week 13
Week 2 | | Week 6 | | Week 10| | Week 14
Week 3 | | Week 7 | | Week 11 | Week 15
Week 4 | | Week 8 | | Week 12

Week 1

(Feb 10 -- 14)

Week 2

(Feb 17 -- 21)

Week 3

(Feb 24 -- Feb 28)

Week 4

(Mar 3 -- March 7)

Week 5

(Mar 10 -- 14)

Week 6

(Mar 17 -- 21)

Week 7

(Mar 24 -- 28)

Week 8

(Mar 31 -- Apr 4)

Week 9

(Apr 7 -- Apr 11) No class on Monday! Previous week was Easter holiday.

Week 10

(Apr 21 -- 25)

Week 11

(Apr 28 -- May 2)

Week 12

(May 5 -- 9)

Week 13

(May 12 -- 16)

Week 14

(May 19 -- 23)

Week 15

(May 26 -- 30)


FINAL EXAM: TBA.

Resit

Question and answer

Question

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.