| 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 | 29 | 2019 |
| Nested sequents for intuitionistic modal logics via structural refinement TS Lyon International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 19 | 2021 |
| 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 |
| Refining labelled systems for modal and constructive logics with applications T Lyon arXiv preprint arXiv:2107.14487, 2021 | 18 | 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 | 17 | 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 | 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 | 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 | 9 | 2022 |
| The varieties of ought-implies-can and deontic stit logic K van Berkel, T Lyon | 9 | 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 |
| Standpoint linear temporal logic N Gigante, TS Lyon arXiv preprint arXiv:2304.14243, 2023 | 3 | 2023 |
| 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 |
| Internal and external calculi: Ordering the jungle without being lost in translations TS Lyon, A Ciabattoni, D Galmiche, D Larchey-Wendling, D Méry, ... arXiv preprint arXiv:2312.03426, 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 |
| Foundations for an abstract proof theory in the context of Horn rules TS Lyon, P Ostropolski-Nalewaja arXiv preprint arXiv:2304.05697, 2023 | 2 | 2023 |
| Nested Sequents for First-Order Modal Logics via Reachability Rules TS Lyon arXiv preprint arXiv:2210.00789, 2022 | 2 | 2022 |
Kees van BerkelAssistant Professor, TU WienGeverifieerd e-mailadres voor logic.at