LOG130 Modal logic, 7.5 credits