Navigation

Modallogik (SS 2017)

Übungsblätter

Termine

 

Docent Daniel Hausmann
Lecture Wed, 16:00 – 17:30 (00.131, Cauerstraße 11), first lecture: 26.04.
Tutorial Thu, 16:15 – 17:45 (00.131, Cauerstraße 11)
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)

Die Vorlesung wird üblicherweise in englischer Sprache gehalten, kann aber auf Wunsch der Studierenden auch in deutscher Sprache stattfinden.

Die angegebenen Termine sind vorläufig und können auf Wunsch der Studierenden verschoben werden.

(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); summer term 2017 (german) (rev. 16911 17005 17432 17461 17471 17519 17601 17605 17615 17625)

 

Literatur

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