From Display to Labelled Proofs for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake (LFCS, 2018)

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. - Kees van Berkel 002; Tim S. Lyon (JELIA, 2019)

A Neutral Temporal Deontic STIT Logic. - Kees van Berkel 002; Tim S. Lyon (LORI, 2019)

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. - Tim S. Lyon; Kees van Berkel 002 (PRIMA, 2019)

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics. - Kees van Berkel 002; Tim S. Lyon (CoRR, 2019)

Display to Labelled Proofs and Back Again for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake; Alwen Tiu (CoRR, 2019)

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. - Kees van Berkel 002; Tim S. Lyon; Francesco Olivieri (CLAR, 2020)

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. - Tim S. Lyon; Alwen Tiu; Rajeev Goré; Ranald Clouston (CSL, 2020)

Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. - Tim S. Lyon (LFCS, 2020)

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. - Tim S. Lyon (LFCS, 2020)

A Framework for Intuitionistic Grammar Logics. - Tim S. Lyon (CLAR, 2021)

The Varieties of Ought-Implies-Can and Deontic STIT Logic. - Kees van Berkel 002; Tim S. Lyon (DEON, 2021)

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. - Tim S. Lyon (TABLEAUX, 2021)

Refining Labelled Systems for Modal and Constructive Logics with Applications. - Tim S. Lyon (CoRR, 2021)

On the correspondence between nested calculi and semantic systems for intuitionistic logics. - Tim S. Lyon (J. Log. Comput., 2021)

Display to Labeled Proofs and Back Again for Tense Logics. - Agata Ciabattoni; Tim S. Lyon; Revantha Ramanayake; Alwen Tiu (ACM Trans. Comput. Log., 2021)

Uniform and Modular Sequent Systems for Description Logics. - Tim S. Lyon; Jonas Karge (Description Logics, 2022)

Automating Reasoning with Standpoint Logic via Nested Sequents. - Tim S. Lyon; Lucía Gómez Álvarez (KR, 2022)

Nested Sequents for First-Order Modal Logics via Reachability Rules. - Tim S. Lyon (CoRR, 2022)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement. - Tim S. Lyon (CoRR, 2022)

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. - Thomas Feller 001; Tim S. Lyon; Piotr Ostropolski-Nalewaja; Sebastian Rudolph (ICDT, 2023)

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. - Tim S. Lyon; Sebastian Rudolph (JELIA, 2023)

Standpoint Linear Temporal Logic. - Nicola Gigante; Lucía Gómez Álvarez; Tim S. Lyon (KR, 2023)

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. - Tim S. Lyon; Piotr Ostropolski-Nalewaja (KR, 2023)

Nested Sequents for Quantified Modal Logics. - Tim S. Lyon; Eugenio Orlandelli (TABLEAUX, 2023)

Foundations for an Abstract Proof Theory in the Context of Horn Rules. - Tim S. Lyon; Piotr Ostropolski-Nalewaja (CoRR, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

Nested sequents for intermediate logics: the case of Gödel-Dummett logics. - Tim S. Lyon (J. Appl. Non Class. Logics, 2023)

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. - Kees van Berkel 002; Tim S. Lyon; Matteo Pascucci (J. Philos. Log., 2023)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. - Tim S. Lyon; Jonas Karge (IJCAI, 2024)

Decidability of Quasi-Dense Modal Logics. - Tim S. Lyon; Piotr Ostropolski-Nalewaja (LICS, 2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics. - Tim S. Lyon (CoRR, 2024)

Proof Theory and Decision Procedures for Deontic STIT Logics. - Tim S. Lyon; Kees van Berkel 002 (J. Artif. Intell. Res., 2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations. - Tim S. Lyon (CSL, 2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. - Tim S. Lyon; Ian Shillito; Alwen Tiu (CSL, 2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic. - Tim S. Lyon (FSEN, 2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width. - Thomas Feller 001; Tim S. Lyon; Piotr Ostropolski-Nalewaja; Sebastian Rudolph (Log. Methods Comput. Sci., 2025)