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.

Attention:

• The course starts March 22!

The course is comprised of a lecture part and an exercise part. For the latter, students need to give a 30min presentation for a chosen topic.

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 15h
• Lecture introduction 0.5h
• Solving the exercises 10h
• Preparing the presentation 20h
• Presentation of exercises solutions and talks 9h
• Preparation for exam 20h
• Oral exam 0.5h

The grade is based on an oral exam and an assessment of the exercise part. The oral exam will be conducted online with the BigBlueButton system.

Melvin Fitting: Proof Methods for Modal and Intuitionistic Logics

Basic knowledge of classical logic.