Publications
2024
Piotr Ostropolski-Nalewaja, Tim S. Lyon. Decidability of Quasi-Dense Modal Logics. Logic in Computer Science (LICS), 2024. [PrePrint]
Tim S. Lyon, Jonas Karge. Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents. International Joint Conference on Artificial Intelligence (IJCAI) 2024. [PrePrint]
2023
Tim S. Lyon, Sebastian Rudolph. Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. Joint European Conference on Logics in Artificial Intelligence Proceedings (JELIA), 2023. [PrePrint]
Tim S. Lyon, Eugenio Orlandelli. Nested Sequents for Quantified Modal Logics. 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) 2023. [PrePrint]
Tim S. Lyon. Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics. Journal of Applied Non-Classical Logics 2023. [PrePrint]
Tim S. Lyon, Piotr Ostropolski-Nalewaja. Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2023. [PrePrint]
Nicola Gigante, Lucía Gómez Álvarez, Tim S. Lyon. Standpoint Linear Temporal Logic. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2023. [PrePrint]
Kees van Berkel, Tim S. Lyon, Matteo Pascucci. A Logical Analysis of Instrumentality Judgements: Means-End Relations in the Context of Experience and Expectations. Journal of Philosophical Logic, 2023. [PrePrint]
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. 26th International Conference on Database Theory (ICDT) 2023. [PrePrint]
2022
Tim S. Lyon, Lucía Gómez Álvarez. Automating Reasoning with Standpoint Logic via Nested Sequents. 19th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2022. [PrePrint]
Tim S. Lyon, Jonas Karge. Uniform and Modular Sequent Systems for Description Logics. 35th International Workshop on Description Logics (DL) 2022. [PrePrint]
2021
Tim S. Lyon. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement. 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) 2021. [PrePrint]
Tim Lyon. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics. Journal of Logic and Computation, 2021. [PrePrint]
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu. Display to Labeled Proofs and Back Again for Tense Logics. ACM Transactions on Computational Logic (TOCL). 2021. [PrePrint]
Kees van Berkel, Tim Lyon. The Varieties of Ought-implies-Can and Deontic STIT Logic. 15th International Conference on Deontic Logic and Normative Systems (DEON), 2021. [PrePrint]
Tim Lyon. Refining Labelled Systems for Modal and Constructive Logics with Applications. PhD Thesis. TU Wien. 2021. [Thesis]
Tim Lyon. A Framework for Intuitionistic Grammar Logics. 4th International Conference on Logic and Argumentation (CLAR), 2021. [PrePrint]
2020
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents. In Computer Science Logic (CSL), 2020. [PrePrint]
Kees van Berkel, Tim Lyon, Francesco Olivieri. A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms. In Conference on Logic and Argumentation (CLAR), 2020. [PrePrint]
Tim Lyon. On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), 2020. Springer International Publishing. [PrePrint]
Tim Lyon. Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), 2020. Springer International Publishing. [PrePrint]
2019
Tim Lyon, Kees van Berkel. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2019. [PrePrint]
Kees van Berkel, Tim Lyon. A Neutral Temporal Deontic STIT Logic. International Conference on Logic, Rationality and Interaction (LORI), 2019. [PrePrint]
Kees van Berkel, Tim Lyon. Cut-free Calculi and Relational Semantics for Temporal STIT Logics. Joint European Conference on Logics in Artificial Intelligence Proceedings (JELIA), 2019. [PrePrint]
2018
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake. From Display to Labelled Proofs for Tense Logics. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), pages 120-139, Cham, 2018. Springer International Publishing. [PrePrint]
2017
Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl. The Basics of Display Calculi. Kriterion: Journal of Philosophy, 31(2):55-100, 2017. [Paper]