Course Details

Back

K1101-MA0046Ü Modal Logic (E)

Instructors: Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
Event type: Exercise
Org-unit: Faculty of Computer Science
Hours per week: 2
Language of instruction: English

Literature

Appointments
Date From To Room Instructors
1 Wed, 12. Oct. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
2 Wed, 19. Oct. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
3 Wed, 26. Oct. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
4 Wed, 2. Nov. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
5 Wed, 9. Nov. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
6 Wed, 23. Nov. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
7 Wed, 30. Nov. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
8 Wed, 7. Dec. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
9 Wed, 14. Dec. 2022 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
10 Wed, 4. Jan. 2023 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
11 Wed, 11. Jan. 2023 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
12 Wed, 18. Jan. 2023 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
13 Wed, 25. Jan. 2023 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer
14 Wed, 1. Feb. 2023 16:40 18:10 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz; Dr. rer. nat. Jakob Piribauer

Class session overview

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
    •  

Instructors
  • Dr. rer. nat. Jakob Piribauer
  • Dr.-Ing. Sascha Klüppelholz
  • Prof. Dr. rer. nat. Christine Baier