Topics in Modal Logic 2024: grading and requirements for passing
On this page you can find:
- The course is worth 6 ECTS.
- The grading and passing requirements for the course are based on the
following four items:
- weekly homework assignments
It is strongly recommended but not obligatory that you hand in solutions
to the weekly homework assignemt; you will receive feedback to your
solutions, but no grade.
- presentations of homework solutions
Starting from week 2, students will present their solutions to the
homework during the tutorial session.
You will receive feedback to your presentations, but no grade.
Every student is required to give at least one such presentation.
- an oral midterm exam
It is strongly recommended but not obligatory that you take an oral exam
in week 4 of the course. You will receive a grade for this, which may influence your final grade,
but only in a positive way (see below).
- a written exam
At the end of the course there is a written exam, which is obligatory.
- Your final grade is determined as follows:
- You can only pass the course if you did at least one presentation.
- Where O and W are your grades for the oral and written exams,
respectively, your final grade is first calculated as the maximum of W and
the weighted average (3*W + 1*O)/4 of T and W, and then rounded to the
nearest half-point.
- You can find the homework on the Canvas page of the class, and you are
also supposed to submit there.
- Deadlines for submission are strict.
- You may collaborate with fellow students when solving the exercises,
on the following conditions:
- but you should write down and submit your solutions individually;
- you must explicitly write on your submitted solution with whom you have
been working together.
- When writing your solutions, be clear and succinct. In particular:
- never prove statements that are explicitly mentioned in the lecture
notes (unless specifically asked otherwise); simply refer to these
results if you use them;
- in the case of a routine argument, you do not need to go into all the
technical details;
- in case of proofs by induction on the complexity of formulas, one or
two cases will usually suffice.
- As the homework is not graded and meant for your practice only, feel free
to only hand in (part of) solutions to exercises that you want to receive
feedback on.
However, when doing so, always state clearly which (part of) the exercises you
are solving.
- You will be assigned a tutorial session in which you are meant to give
a presentation.
-
One week before this session, you will be assigned an exercise of that week’s
homework to which you have to present your solution.
-
Presentations should last 10 minutes (excluding questions).
This is quite short to convey a mathematical argument, so a good preparation
is key. In particular, think about:
- how to convey the key idea in you solution without spending much time
on technical details;
- how to use the board in an efficient yet clear way.
- In case you did not manage to fully solve the exercise: state clearly
where you got stuck and sketch which strategies you tried.
- It is strongly recommended that you try out your presentation at least once.
- Tutorial 2 (November 5th):
Oskar Heiden,
Satvik Duddukuru,
Timon Vorberg
- Tutorial 3 (November 12th):
Ludovico Ageno,
Simone Riccio
- Tutorial 4 (November 19th):
Andrea Chiebao,
Riemer Kerkstra
- Tutorial 5 (November 26th):
Hugo Rennings,
Dario Ponzo,
Magnus Kjærgaard
- Tutorial 6 (December 3rd):
Adhvaith Koduru,
Giacomo Grevink
- Tutorial 7 (December 10th):
Douwe Raat,
Arne Goudzwaard
-
Participation in the oral examination is voluntary.
-
The oral exam will take place on location, in Science Park
(exact rooms to be announced).
-
The oral exam covers the following material: Chapters 1-3 of the
lecture notes, all exercises of the first three tutorial sessions, and all
exercises of the first two homework sets.
-
The organisation of the exam is as follows:
- The full duration of the exam is 30 minutes.
- To ensure a smooth procedure, we need to be strict about the
starting time: Make sure that you are present at least five minutes
before the scheduled start of your exam.
- We will pick you up from the ILLC common room.
- You will first receive an exercise/problem that you can think
about for 10 minutes.
Please note that you are not required or even expected to completely
solve the exercise in this time.
- The remaining 20 minutes are split into two parts of 10 minutes each:
- One part is about problem solving skills: you are asked to discuss
your ideas for solving the exercise.
- In the other part we test your knowledge: you are asked to present one or
more results, proofs, definitions, ... from the course material.
- Each part will have its own examinator: Lide or Yde.
- In principle we will make an audio recording of the oral exam.
- This is intended to be for your benefit: in case you want to make a claim
against the grade you are given, you can use the recording to substantiate
your claim.
- The recording will be destroyed after the course.
- We will not make this recording if you do not agree with it.
- Monday November 16th:
- 10:00-10:35: Simone Riccio, Timon Vorberg
- 11:00-11:35: Hugo Rennings, Magnus Kjærgaard
- 11:35-12:10: Douwe Raat, Adhvaith Koduru
- 12:10-12:45: Satvik Duddukuru, Arne Goudzwaard
- 12:45-13:20: Oskar Heiden, Dario Ponzo
- Tuesday November 17th:
- 15:00-15:35: Riemer Kerkstra, Ludovico Ageno
- 15:35-16:10: Giacomo Grevink, Andrea Chiebao
Back to main page