Tim S. Lyon
I am a postdoctoral researcher in the Computational Logic Group at the Institute of Artificial Intelligence at Technische Universität Dresden, working on the ERC project DeciGUT with Prof. Sebastian Rudolph. My current research focuses on the construction and application of proof systems to decide fragments of first-order logic and non-classical logics.
Until November 2020, I worked primarily on the TICAMORE (Translating and Discovering Calculi for Modal and Related Logics) project as a PhD student under the supervision of Prof. Agata Ciabattoni in the Doctoral College on Logical Methods in Computer Science at Technische Universität Wien. Our work focused on developing and applying effective translations between proof systems in order to solve problems within the domain of mathematical logic and theoretical computer science. My PhD thesis, titled Refining Labelled Systems for Modal and Constructive Logics with Applications, can be found here.
NEWS
The article Decidability of Quasi-Dense Modal Logics was accepted to LICS 2024. The pre-print can be found here.
The article Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents was accepted to IJCAI 2024. The pre-print can be found here.
The article Derivation-Graph-Based Characterizations of Existential Rule Sets was accepted to JELIA 2023. The pre-print can be found here.
The article Nested Sequents for Quantified Modal Logics was accepted to TABLEAUX 2023. The pre-print can be found here.
The article Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics was accepted to The Journal of Applied Non-Classical Logics. The pre-print can be found here.
The article Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules was accepted to KR 2023. The pre-print can be found here.
The article Standpoint Linear Temporal Logic was accepted to KR 2023. The pre-print can be found here.