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
(Feb 10 -- 14)
We started the course, gave an introduction to Modal Logic, started by defining the basic modal logics, K, K4, etc.
and did some examples of concrete Hilbert style derivations. We have proven some inclusions and non-inclusions of so-called normal modal logics.
Basically, we have covered the first two chapters of the Book I am writing.
(Feb 17 -- 21)
We have made some exercises in class and then finished Chapter 2 of the reader. Next we started an inductive definition of set
of Natural Deduction proofs in modal logic. As homework you are asked to choose two exercises from
2.4.11; 2.4.12; 2.4.13 and 2.4.14.
(Feb 24 -- Feb 28)
We have given Natural deduction systems for CPC, IPC and normal Hilbert logics. For the modal case we have shown equivalence of the
two formalisms. Upon request there is a new version of the reader.
(Mar 3 -- March 7) We have proven completeness for modal logics through the canonical model.
The new reader is now available.
(Mar 10 -- 14)
We have proven some frame correspondences and frame completeness for various modal logics.
The new reader is now available.
The next batch of homework consists of 4.5.4; 4.5.21, 5.4.3 and 5.4.12.
(Mar 17 -- 21)
(Mar 24 -- 28)
(Mar 31 -- Apr 4)
(Apr 7 -- Apr 11)
No class on Monday! Previous week was Easter holiday.
(Apr 21 -- 25)
(Apr 28 -- May 2)
(May 5 -- 9)
(May 12 -- 16)
(May 19 -- 23)
(May 26 -- 30)
FINAL EXAM: TBA.
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.