Tim S. Lyon

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 31

Top Topics

Decision Procedures

Sequent Calculi

Top Venues

ACM Trans. Comput. Log.

Publications

Tim S. Lyon, Jonas Karge
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. CoRR (2024)
Tim S. Lyon
Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics. CoRR (2024)
Tim S. Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. CoRR (2024)
Tim S. Lyon, Kees van Berkel
Proof Theory and Decision Procedures for Deontic STIT Logics. CoRR (2024)
Piotr Ostropolski-Nalewaja, Tim S. Lyon
Decidability of Quasi-Dense Modal Logics. CoRR (2024)
Tim S. Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics. TABLEAUX (2023)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. J. Philos. Log. 52 (5) (2023)
Tim S. Lyon, Piotr Ostropolski-Nalewaja
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. CoRR (2023)
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Standpoint Linear Temporal Logic. CoRR (2023)
Tim S. Lyon
Nested sequents for intermediate logics: the case of Gödel-Dummett logics. J. Appl. Non Class. Logics 33 (2) (2023)
Tim S. Lyon, Piotr Ostropolski-Nalewaja
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. KR (2023)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width. CoRR (2023)
Tim S. Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. CoRR (2023)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. ICDT (2023)
Tim S. Lyon, Eugenio Orlandelli
Nested Sequents for Quantified Modal Logics. CoRR (2023)
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR (2023)
Tim S. Lyon
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics. CoRR (2023)
Tim S. Lyon, Piotr Ostropolski-Nalewaja
Foundations for an Abstract Proof Theory in the Context of Horn Rules. CoRR (2023)
Tim S. Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA (2023)
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
Standpoint Linear Temporal Logic. KR (2023)
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying. CoRR (2022)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations. CoRR (2022)
Tim S. Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents. CoRR (2022)
Tim S. Lyon
Nested Sequents for First-Order Modal Logics via Reachability Rules. CoRR (2022)
Tim S. Lyon
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement. CoRR (2022)
Tim S. Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents. KR (2022)
Tim S. Lyon
A Framework for Intuitionistic Grammar Logics. CoRR (2021)
Tim S. Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. TABLEAUX (2021)
Tim S. Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. CoRR (2021)
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. 22 (3) (2021)
Tim S. Lyon
A Framework for Intuitionistic Grammar Logics. CLAR (2021)