Courses
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]
If you have any questions, please do not hesitate to email me. My email can be found at the contact link on the top right of this webpage.
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.