Articles with public access mandates - Tim Lyon - European CommissionLearn more
Available based on mandate: 5
Nested sequents for intuitionistic modal logics via structural refinement
TS Lyon
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
Display to labeled proofs and back again for tense logics
A Ciabattoni, TS Lyon, R Ramanayake, A Tiu
ACM Transactions on Computational Logic (TOCL) 22 (3), 1-31, 2021
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
TS Lyon
Journal of Applied Non-Classical Logics 33 (2), 121-164, 2023
A Framework for Intuitionistic Grammar Logics
TS Lyon
International Conference on Logic and Argumentation, 495-503, 2021
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
K van Berkel, TS Lyon, M Pascucci
Journal of Philosophical Logic 52 (5), 1475-1516, 2023
Publication and funding information is determined automatically by a computer program