Courses
Proof Theory and Sequent Systems (TUD, Winter Semester 2025)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]
Proof Theory and Sequent Systems (TUD, Summer Semester 2024)
Details for the course can be found at the following link: [Course Details]
The course script can be downloaded at the following link: [Script]
Supervision
Research Project (TUD, Summer Semester 2025)
Title: Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents [Technical Report]
Student: Omar Y. A. A. Taher
Abstract: This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hypersequent System CSGL.