Tim Lyon
Technische Universität Dresden
H-index: 8
Europe-Germany
Top articles of Tim Lyon
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
arXiv preprint arXiv:2404.15840
2024/4/24
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
arXiv preprint arXiv:2404.15855
2024/4/24
Proof Theory and Decision Procedures for Deontic STIT Logics
arXiv preprint arXiv:2402.03148
2024/2/5
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
arXiv preprint arXiv:2312.03426
2023/12/6
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
Journal of Philosophical Logic
2023/10
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
2023/9/20
Connecting proof theory and knowledge representation: sequent calculi and the chase with existential rules
arXiv preprint arXiv:2306.02521
2023/6/5
Decidability of querying first-order theories via countermodels of finite width
arXiv preprint arXiv:2304.06348
2023/4/13
Foundations for an Abstract Proof Theory in the Context of Horn Rules
arXiv preprint arXiv:2304.05697
2023/4/12
Nested sequents for intermediate logics: the case of Gödel-Dummett logics
Journal of Applied Non-Classical Logics
2023/4/3
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
arXiv preprint arXiv:2210.17139
2022/10/31
Nested Sequents for First-Order Modal Logics via Reachability Rules
arXiv preprint arXiv:2210.00789
2022/10/3
Finite-cliquewidth sets of existential rules: Toward a general criterion for decidable yet highly expressive querying
arXiv preprint arXiv:2209.02464
2022/9/6
Uniform and modular sequent systems for description logics
arXiv preprint arXiv:2206.09020
2022/6/17
Tim Lyon
H-Index: 4
Automating reasoning with standpoint logic via nested sequents
arXiv preprint arXiv:2205.02749
2022/5/5
Nested sequents for intuitionistic modal logics via structural refinement
2021/8/30
Refining labelled systems for modal and constructive logics with applications
arXiv preprint arXiv:2107.14487
2021/7/30
Tim Lyon
H-Index: 4
Display to labeled proofs and back again for tense logics
ACM Transactions on Computational Logic (TOCL)
2021/7/22