Topics in Modal Logic 2021: grading
General information about credits etc:
- The course is worth 6 ECTS.
- The grading is on the basis of weekly homework
assignments, and a written on site exam at the end of the course.
- Your final grade will be determined as follows: 50% homework and
- Your homework grade will be determined as the average of your five
best scores on the six homework assignments.
- In order to pass the course, you need to score at least 50/100 on
More specific information about homework and grading:
- 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.
Homework handed in after the deadline may not be taken into consideration;
at the very least, points will be subtracted for late submission.
- Unless explicitly specified otherwise, you are allowed to collaborate
with fellow students, on the following conditions:
- you can only work in small groups of at most three people;
- if you work in a group of three people, you can discuss the exercises
together, but you have to write down and
submit your solutions individually;
- if you work in a group of two people, you may create a joint
solution file, but each of you has to submit this file individually;
- you must explicitly write on your homework with whom you have been
- distributing your solutions before the deadline is not permitted.
- When writing your solutions to exercises, be succinct but do
provide the necessary details. 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
- in case of proofs by induction on the complexity of formulas, one or
two cases will usually suffice.
- To get the full score for an exercise, it is not sufficient to show that
you have the right solution.
The quality of your presentation will also count for a small part of the
If you have questions about the grading of your homework, you can talk to
Jan Rooduijn during his office hours in the PhD Meeting Room (F2.01):
- Thu 18 Nov 14:00-15:00 (HW1)
- Thu 25 Nov 14:00-15:00 (HW2)
- Mon 06 Dec 13:00-14:00 (HW3)
- Thu 09 Dec 14:00-15:00 (HW4)
- Thu 16 Dec 14:00-15:00 (HW5)
- Wed 22 Dec 14:00-15:00 (HW6)
Back to main page