Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents T Lyon, A Tiu, R Goré, R Clouston arXiv preprint arXiv:1910.05215, 2019 | 27 | 2019 |
Automating agential reasoning: Proof-calculi and syntactic decidability for stit logics T Lyon, K van Berkel International conference on principles and practice of multi-agent systems …, 2019 | 19 | 2019 |
Nested sequents for intuitionistic modal logics via structural refinement TS Lyon International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 18 | 2021 |
Refining labelled systems for modal and constructive logics with applications T Lyon arXiv preprint arXiv:2107.14487, 2021 | 17 | 2021 |
On the correspondence between nested calculi and semantic systems for intuitionistic logics T Lyon Journal of Logic and Computation 31 (1), 213-265, 2021 | 16 | 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 | 13 | 2021 |
From display to labelled proofs for tense logics A Ciabattoni, T Lyon, R Ramanayake International Symposium on Logical Foundations of Computer Science, 120-139, 2017 | 13 | 2017 |
Cut-free calculi and relational semantics for temporal stit logics K van Berkel, T Lyon European Conference on Logics in Artificial Intelligence, 803-819, 2019 | 11 | 2019 |
Automating reasoning with standpoint logic via nested sequents TS Lyon, LG Álvarez arXiv preprint arXiv:2205.02749, 2022 | 8 | 2022 |
The varieties of ought-implies-can and deontic stit logic K van Berkel, T Lyon | 8 | 2013 |
Finite-cliquewidth sets of existential rules: Toward a general criterion for decidable yet highly expressive querying T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph arXiv preprint arXiv:2209.02464, 2022 | 6 | 2022 |
On deriving nested calculi for intuitionistic logics from semantic systems T Lyon Logical Foundations of Computer Science: International Symposium, LFCS 2020 …, 2020 | 5 | 2020 |
Connecting proof theory and knowledge representation: Sequent calculi and the chase with existential rules TS Lyon, P Ostropolski-Nalewaja arXiv preprint arXiv:2306.02521, 2023 | 4 | 2023 |
A neutral temporal deontic stit logic K van Berkel, T Lyon International Workshop on Logic, Rationality and Interaction, 340-354, 2019 | 4 | 2019 |
A decidable multi-agent logic for reasoning about actions, instruments, and norms K van Berkel, T Lyon, F Olivieri International conference on logic and argumentation, 219-241, 2020 | 3 | 2020 |
Standpoint linear temporal logic N Gigante, TS Lyon arXiv preprint arXiv:2304.14243, 2023 | 2 | 2023 |
Decidability of querying first-order theories via countermodels of finite width T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph arXiv preprint arXiv:2304.06348, 2023 | 2 | 2023 |
Nested Sequents for First-Order Modal Logics via Reachability Rules TS Lyon arXiv preprint arXiv:2210.00789, 2022 | 2 | 2022 |
Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents T Lyon International Symposium on Logical Foundations of Computer Science, 156-176, 2019 | 2 | 2019 |
The basics of display calculi T Lyon, C Ittner, T Eckhardt, N Gratzl Kriterion–Journal of Philosophy 31 (2), 55-100, 2017 | 2 | 2017 |