Tim Lyon
From International Center for Computational Logic
Dr. Tim Lyon
Research Associate Computational Logic
I am a postdoctoral researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics. Prior to joining TU Dresden, I was a PhD student at Technische Universität Wien, where I worked on the TICAMORE (Translating and Discovering Calculi for Modal and Related Logics) project under the supervision of Prof. Agata Ciabattoni.
Newest Publications
Tim Lyon
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon, Jonas Karge
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024. ijcai.org
Details Download
Tim Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics
Journal of Artificial Intelligence Research, to appear
Details Download
Piotr Ostropolski-Nalewaja, Tim Lyon
Decidability of Quasi-Dense Modal Logics
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024. ACM
Details Download
Kees van Berkel, Tim Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
Journal of Philosophical Logic, 52:1475–1516, 2023
Details Download
Tim Lyon, Piotr Ostropolski-Nalewaja
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 769-773, 2023. IJCAI Inc
Details Download
Tim Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics
In Revantha Ramanayake, Josef Urban, eds., Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 449--467, 2023
Details Download
Nicola Gigante, Lucía Gómez Álvarez, Tim Lyon
Standpoint Linear Temporal Logic
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 311-321, 2023. IJCAI Inc
Details Download
Tim Lyon
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
Journal of Applied Non-Classical Logics, 33(2):121-164, 2023
Details
Courses
- Proof Theory and Sequent Systems (SS 2024)
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
