Topics in Modal Logic 2024: 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 50% exam.
- 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 the exam.

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 pairs;
- you can discuss the exercises together, but you have to write down the solution individually;
- you must explicitly write on your homework with whom you have been working together;
- 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 technical details;
- 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 points.
- office hours to be announced
Back to main page