| 2025 | CSL | Unifying Sequent Systems for Gdel-Lb Provability Logic via Syntactic Transformations. | Tim S. Lyon |
| 2025 | CSL | Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. | Tim S. Lyon, Ian Shillito, Alwen Tiu |
| 2024 | IJCAI | Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. | Tim S. Lyon, Jonas Karge |
| 2024 | LICS | Decidability of Quasi-Dense Modal Logics. | Tim S. Lyon, Piotr Ostropolski-Nalewaja |
| 2023 | ICDT | Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. | Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph |
| 2023 | JELIA | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. | Tim S. Lyon, Sebastian Rudolph |
| 2023 | KR | Standpoint Linear Temporal Logic. | Nicola Gigante, Luca Gmez lvarez, Tim S. Lyon |
| 2023 | KR | Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. | Tim S. Lyon, Piotr Ostropolski-Nalewaja |
| 2023 | TABLEAUX | Nested Sequents for Quantified Modal Logics. | Tim S. Lyon, Eugenio Orlandelli |
| 2022 | KR | Automating Reasoning with Standpoint Logic via Nested Sequents. | Tim S. Lyon, Luca Gmez lvarez |
| 2021 | TABLEAUX | Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. | Tim S. Lyon |
| 2020 | CSL | Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. | Tim S. Lyon, Alwen Tiu, Rajeev Gor, Ranald Clouston |
| 2020 | LFCS | Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. | Tim S. Lyon |
| 2020 | LFCS | On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. | Tim S. Lyon |
| 2019 | JELIA | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. | Kees van Berkel, Tim S. Lyon |
| 2019 | PRIMA | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. | Tim S. Lyon, Kees van Berkel |
| 2018 | LFCS | From Display to Labelled Proofs for Tense Logics. | Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake |