Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents

Studienarbeit von Omar Y. A. A. Taher

•   Betreuer Tim Lyon
•   Computational Logic
•   29. Juli 2025 – 12. September 2025

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.