Tim Lyon

According to our database, Tim Lyon authored at least 31 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Proof Theory and Decision Procedures for Deontic STIT Logics.

Tim S. Lyon, Kees van Berkel

CoRR, 2024

2023

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.

Kees van Berkel, Tim S. Lyon, Matteo Pascucci

J. Philos. Log., October, 2023

Nested sequents for intermediate logics: the case of Gödel-Dummett logics.

Tim S. Lyon

J. Appl. Non Class. Logics, April, 2023

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.

Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake

CoRR, 2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width.

Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

CoRR, 2023

Foundations for an Abstract Proof Theory in the Context of Horn Rules.

Tim S. Lyon, Piotr Ostropolski-Nalewaja

CoRR, 2023

Nested Sequents for Quantified Modal Logics.

Tim S. Lyon, Eugenio Orlandelli

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.

Tim S. Lyon, Piotr Ostropolski-Nalewaja

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Standpoint Linear Temporal Logic.

Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.

Tim S. Lyon, Sebastian Rudolph

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

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

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.

Tim S. Lyon

CoRR, 2022

Nested Sequents for First-Order Modal Logics via Reachability Rules.

Tim S. Lyon

CoRR, 2022

Automating Reasoning with Standpoint Logic via Nested Sequents.

Tim S. Lyon, Lucía Gómez Álvarez

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Uniform and Modular Sequent Systems for Description Logics.

Tim Lyon, Jonas Karge

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

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

On the correspondence between nested calculi and semantic systems for intuitionistic logics.

Tim Lyon

J. Log. Comput., 2021

Refining Labelled Systems for Modal and Constructive Logics with Applications.

Tim Lyon

CoRR, 2021

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.

Tim S. Lyon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

The Varieties of Ought-Implies-Can and Deontic STIT Logic.

Kees van Berkel, Tim Lyon

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

A Framework for Intuitionistic Grammar Logics.

Tim S. Lyon

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.

Tim Lyon

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.

Tim Lyon

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.

Kees van Berkel, Tim Lyon, Francesco Olivieri

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Display to Labelled Proofs and Back Again for Tense Logics.

Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu

CoRR, 2019

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.

Kees van Berkel, Tim Lyon

CoRR, 2019

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.

Tim Lyon, Kees van Berkel

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

A Neutral Temporal Deontic STIT Logic.

Kees van Berkel, Tim Lyon

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.

Kees van Berkel, Tim Lyon

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

From Display to Labelled Proofs for Tense Logics.

Agata Ciabattoni, Tim Lyon, Revantha Ramanayake

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018