Navigation

Modal Logic (SS 2016)

Exercise sheets

Dates

 

Docent Daniel Hausmann
Lecture Do, 16:15 – 17:45 (0.151-115, Cauerstraße 7/9)
Tutorial Mi, 14:15 – 15:45 (00.111-124.01, Cauerstraße 6)
Target audience WF M-BA ab 3 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 4 (ECTS-Credits: 7,5)
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WF M-MA ab 1 (ECTS-Credits: 7,5)

(this lecture is suitable as elective course for the secondary subject ‘computer science’ in various degree courses, in particular, mathematics.)

Course description

An unofficial script is available: summer term 2016 (english) (rev. 13030)

Literature

  • Sally Popkorn, First Steps in Modal Logic, 314 pages, Cambridge University Press, 1994.
  • Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, 554 pages, Cambridge University Press, 2001.
  • Alexander Chagrov and Michael Zakharyashev, Modal Logic, 605 pages, Oxford University Press, 1997.