| 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 | 24 | 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 | 17 | 2019 |
| Refining labelled systems for modal and constructive logics with applications T Lyon arXiv preprint arXiv:2107.14487, 2021 | 14 | 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 | 14 | 2017 |
| Nested sequents for intuitionistic modal logics via structural refinement TS Lyon International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 11 | 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 | 11 | 2021 |
| 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 |
| 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 | 8 | 2021 |
| Automating reasoning with standpoint logic via nested sequents TS Lyon, LG Álvarez arXiv preprint arXiv:2205.02749, 2022 | 7 | 2022 |
| 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 | 5 | 2022 |
| The varieties of ought-implies-can and deontic stit logic K van Berkel, T Lyon | 5 | 2021 |
| 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 |
| On deriving nested calculi for intuitionistic logics from semantic systems T Lyon Logical Foundations of Computer Science: International Symposium, LFCS 2020 …, 2020 | 3 | 2020 |
| 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 |
| 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 | 1 | 2023 |
| 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 | 1 | 2023 |
| Uniform and modular sequent systems for description logics T Lyon, J Karge arXiv preprint arXiv:2206.09020, 2022 | 1 | 2022 |
Kees van BerkelAssistant Professor, TU WienVerified email at logic.at
