Slide set for the exam

As previously announced (and required on the course page) you may not bring any printed or written material to the exam.

However, the exam includes a number of slides with definitions of syntax, semantics, and calculi for various logics.

You can see the provided slides here.