Modal Logic (SS 2016)
Exercise sheets
- Übungsblatt 1 (rev. 12109). Solutions due: 11.05.
- Übungsblatt 2 (rev. 12341). Solutions due: 01.06.
- Übungsblatt 3 (rev. 12709). Solutions due: 29.06.
- Übungsblatt 4 (rev.
123241290512945). Solutions due: 13.07. - Übungsblatt 5 (rev. 12979). Solutions due: 21.07.
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.)
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.