Tim Lyon
Aus International Center for Computational Logic
Dr. Tim Lyon
Wissenschaftlicher Mitarbeiter Computational Logic
I am a postdoctoral researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics. Prior to joining TU Dresden, I was a PhD student at Technische Universität Wien, where I worked on the TICAMORE (Translating and Discovering Calculi for Modal and Related Logics) project under the supervision of Prof. Agata Ciabattoni.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Tim Lyon, Lucía Gómez Álvarez
Automating Reasoning with Standpoint Logic via Nested Sequents.
Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22), to appear
Details Download
Tim Lyon
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
Journal of Logic and Computation, 31(1):213-265, 2021
Details Download
Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu
Display to Labeled Proofs and Back Again for Tense Logics
ACM Transactions on Computational Logic, 22(3):1-31, August 2021
Details Download
Tim Lyon
Refining Labelled Systems for Modal and Constructive Logics with Applications
Phd thesis, Technische Universität Wien, 2021/07/29
Details
Kees van Berkel, Tim Lyon
The Varieties of Ought-implies-Can and Deontic STIT Logic
In Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte, eds., Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021, 57-76, July 2021. College Publications
Details Download
Tim Lyon
A Framework for Intuitionistic Grammar Logics
In Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang, eds., Logic and Argumentation, volume 13040, 495-503, October 2021. Springer International Publishing
Details Download
Tim Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
In Anupam Das, Sara Negri, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 409-427, August 2021. Springer International Publishing
Details Download
Kees van Berkel, Tim Lyon, Francesco Olivieri
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
Logic and Argumentation, volume 12061, 219-241, 2020. Springer
Details Download
Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
In Maribel Fernández and Anca Muscholl, eds., 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), volume 152, 28:1--28:16, 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic
In Blackburn, Patrick and Lorini, Emiliano and Guo, Meiyun, eds., Logic, Rationality, and Interaction, volume 11813, 340-354, 2019. Springer
Details Download
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
