Topics in Modal Logic 2022: 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.
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, 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
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.

If you have questions about the grading of your homework, you can talk to
Johannes Kloibhofer during his office hours in XXX:
 office hours to be announced
Back to main page