184.711 Proof Systems in Modal Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021S, VU, 2.0h, 3.0EC, wird geblockt abgehalten


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Distance Learning


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.

Inhalt der Lehrveranstaltung

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.


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.


  • This semester, the lecture will be given as a distance course. Slides will be made available in pdf format in TISS and videos of the slides with underlying audio will be made available in TUWEL in mp4 format.
  • Slides will be made available on Thursdays each week; the planned start of the lecture is March 18.
  • The exercise part will also be held in distance mode for which we use the BigBlueButton system. For this, only a current browser, a microphone, and a webcam is required. Specific details will be given in due time.



Weitere Informationen

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

Vortragende Personen


LVA Termine

Mi.14:00 - 15:0002.06.2021 Online with BigBlueButton (LIVE)Q+A Session
Di.14:00 - 18:0029.06.2021 Online with BigBlueButton (LIVE)Presentations
LVA wird geblockt abgehalten


The grade is based on an oral exam and an assessment of the exercise part. The oral exam will also be conducted with the BigBlueButton system (cf. also the information above for the technical requirements).


Von Bis Abmeldung bis
18.02.2021 23:55 31.03.2021 23:55 30.04.2021 23:55


066 931 Logic and Computation


Melvin Fitting: Proof Methods for Modal and Intuitionistic Logics


Basic knowledge of classical logic.