Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage sind Studierende in der Lage unterschiedliche Modallogiken zu benennen und zu erläutern, sowie theoretische Zusammenhänge korrekt zu argumentieren.

Different proof systems for basic modal logics, like K, S4, S5, are investigated. We mainly study tableau systems and their close relatives, Gentzen calculi. Furthermore, important properties of the considered logics are studied.

Frontalvortrag und Übungen in den Teilnehmer einen Vortrag zu einem gegebenen Thema erarbeiten und präsentieren müssen.

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 15h
• Lecture introduction 0.5h
• Preparing the presentation 30h
• Presentation of talks 9h
• Preparation for exam 20h
• Oral exam 0.5h

Mündliche Prüfung und Bewertung des Übungsteils.

Melvin Fitting: Proof Methods for Modal and Intuitionistic Logics

Basic knowledge of classical logic.