Tim S. Lyon

64 papers A* 5A 1B 8Misc 3Journal 41Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents.
CoRR
Tim S. Lyon
2025 J jnl
Decidability of Querying First-Order Theories via Countermodels of Finite Width.
Log. Methods Comput. Sci.
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2025 J jnl
Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation.
CoRR
Tim S. Lyon
2025 — conf
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.
FSEN
Tim S. Lyon
2025 B conf
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.
CSL
Tim S. Lyon, Ian Shillito, Alwen Tiu
2025 B conf
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations.
CSL
Tim S. Lyon
2024 A* conf
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents.
IJCAI
Tim S. Lyon, Jonas Karge
2024 J jnl
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents.
CoRR
Tim S. Lyon, Jonas Karge
2024 A* conf
Decidability of Quasi-Dense Modal Logics.
LICS
Tim S. Lyon, Piotr Ostropolski-Nalewaja
2024 J jnl
Decidability of Quasi-Dense Modal Logics.
CoRR
Piotr Ostropolski-Nalewaja, Tim S. Lyon
2024 J jnl
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.
CoRR
Tim S. Lyon
2024 J jnl
Proof Theory and Decision Procedures for Deontic STIT Logics.
CoRR
Tim S. Lyon, Kees van Berkel
2024 J jnl
Proof Theory and Decision Procedures for Deontic STIT Logics.
J. Artif. Intell. Res.
Tim S. Lyon, Kees van Berkel
2024 J jnl
Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics.
CoRR
Tim S. Lyon
2024 J jnl
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.
CoRR
Tim S. Lyon, Ian Shillito, Alwen Tiu
2024 J jnl
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations.
CoRR
Tim S. Lyon
2023 J jnl
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.
J. Philos. Log.
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2023 A* conf
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
KR
Tim S. Lyon, Piotr Ostropolski-Nalewaja
2023 J jnl
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
CoRR
Tim S. Lyon, Piotr Ostropolski-Nalewaja
2023 J jnl
Decidability of Querying First-Order Theories via Countermodels of Finite Width.
CoRR
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023 B conf
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.
JELIA
Tim S. Lyon, Sebastian Rudolph
2023 J jnl
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.
CoRR
Tim S. Lyon, Sebastian Rudolph
2023 A conf
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
ICDT
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023 J jnl
Foundations for an Abstract Proof Theory in the Context of Horn Rules.
CoRR
Tim S. Lyon, Piotr Ostropolski-Nalewaja
2023 J jnl
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.
CoRR
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2023 J jnl
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics.
CoRR
Tim S. Lyon
2023 B conf
Nested Sequents for Quantified Modal Logics.
TABLEAUX
Tim S. Lyon, Eugenio Orlandelli
2023 J jnl
Nested Sequents for Quantified Modal Logics.
CoRR
Tim S. Lyon, Eugenio Orlandelli
2023 J jnl
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.
J. Appl. Non Class. Logics
Tim S. Lyon
2023 A* conf
Standpoint Linear Temporal Logic.
KR
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
2023 J jnl
Standpoint Linear Temporal Logic.
CoRR
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon
2022 J jnl
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations.
CoRR
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2022 A* conf
Automating Reasoning with Standpoint Logic via Nested Sequents.
KR
Tim S. Lyon, Lucía Gómez Álvarez
2022 J jnl
Automating Reasoning with Standpoint Logic via Nested Sequents.
CoRR
Tim S. Lyon, Lucía Gómez Álvarez
2022 J jnl
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
CoRR
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2022 J jnl
Nested Sequents for First-Order Modal Logics via Reachability Rules.
CoRR
Tim S. Lyon
2022 J jnl
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.
CoRR
Tim S. Lyon
2022 — conf
Uniform and Modular Sequent Systems for Description Logics.
Description Logics
Tim S. Lyon, Jonas Karge
2022 J jnl
Uniform and Modular Sequent Systems for Description Logics.
CoRR
Tim S. Lyon, Jonas Karge
2021 — conf
A Framework for Intuitionistic Grammar Logics.
CLAR
Tim S. Lyon
2021 J jnl
A Framework for Intuitionistic Grammar Logics.
CoRR
Tim S. Lyon
2021 J jnl
Display to Labeled Proofs and Back Again for Tense Logics.
ACM Trans. Comput. Log.
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2021 B conf
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.
TABLEAUX
Tim S. Lyon
2021 J jnl
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.
CoRR
Tim S. Lyon
2021 J jnl
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.
CoRR
Tim S. Lyon
2021 J jnl
On the correspondence between nested calculi and semantic systems for intuitionistic logics.
J. Log. Comput.
Tim S. Lyon
2021 J jnl
Refining Labelled Systems for Modal and Constructive Logics with Applications.
CoRR
Tim S. Lyon
2021 — conf
The Varieties of Ought-Implies-Can and Deontic STIT Logic.
DEON
Kees van Berkel, Tim S. Lyon
2020 — conf
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.
CLAR
Kees van Berkel, Tim S. Lyon, Francesco Olivieri
2020 Misc conf
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.
LFCS
Tim S. Lyon
2020 Misc conf
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.
LFCS
Tim S. Lyon
2020 B conf
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.
CSL
Tim S. Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
2019 — conf
A Neutral Temporal Deontic STIT Logic.
LORI
Kees van Berkel, Tim S. Lyon
2019 J jnl
A Neutral Temporal Deontic STIT Logic.
CoRR
Kees van Berkel, Tim S. Lyon
2019 J jnl
Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.
CoRR
Kees van Berkel, Tim S. Lyon
2019 B conf
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.
PRIMA
Tim S. Lyon, Kees van Berkel
2019 J jnl
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.
CoRR
Tim S. Lyon, Kees van Berkel
2019 B conf
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.
JELIA
Kees van Berkel, Tim S. Lyon
2019 J jnl
Cut-free Calculi and Relational Semantics for Temporal STIT Logics.
CoRR
Kees van Berkel, Tim S. Lyon
2019 J jnl
Display to Labelled Proofs and Back Again for Tense Logics.
CoRR
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu
2019 J jnl
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.
CoRR
Tim S. Lyon
2019 J jnl
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.
CoRR
Tim S. Lyon
2019 J jnl
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.
CoRR
Tim S. Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
2018 Misc conf
From Display to Labelled Proofs for Tense Logics.
LFCS
Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake