| Publication | Date of Publication | Type |
|---|
| Cut-restriction: from cuts to analytic cuts | 2026-02-27 | Paper |
| Analytic proofs for tense logic | 2026-02-10 | Paper |
Internal and external calculi: ordering the jungle without being lost in translations
Bulletin of the Section of Logic | 2025-12-03 | Paper |
Tight length theorems for multiset extensions of Higman's lemma
Theoretical Computer Science | 2025-11-21 | Paper |
| Deducibility in the full Lambek calculus with weakening Is HAck-complete | 2025-06-26 | Paper |
| Analytic proof theory for Åqvist's system F | 2024-08-05 | Paper |
| Internal and External Calculi: Ordering the Jungle without Being Lost in Translations | 2023-12-06 | Paper |
| Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq | 2022-05-25 | Paper |
Display to Labeled Proofs and Back Again for Tense Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Display to Labeled Proofs and Back Again for Tense Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
Journal of Symbolic Logic | 2021-10-27 | Paper |
Extended Kripke lemma and decidability for hypersequent substructural logics
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| Bounded sequent calculi for non-classical logics via hypersequents | 2020-05-14 | Paper |
| Sequentialising nested systems | 2020-05-14 | Paper |
Bunched hypersequent calculi for distributive substructural logics
EPiC Series in Computing | 2019-01-10 | Paper |
Non-commutative classical arithmetical sequent calculi are intuitionistic
Logic Journal of the IGPL | 2019-01-08 | Paper |
scientific article; zbMATH DE number 6987093 (Why is no real title available?)
(available as arXiv preprint) | 2018-11-30 | Paper |
| From display to labelled proofs for tense logics | 2018-04-06 | Paper |
Power and limits of structural display rules
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Inducing syntactic cut-elimination for indexed nested sequents
Automated Reasoning | 2016-09-05 | Paper |
Embedding the hypersequent calculus in the display calculus
Journal Of Logic And Computation | 2015-07-15 | Paper |
Hypersequent and display calculi -- a unified perspective
Studia Logica | 2015-02-27 | Paper |
Cut-elimination for weak Grzegorczyk logic Go
Studia Logica | 2014-06-19 | Paper |
| Labelled tree sequents, tree hypersequents and nested (deep) sequents | 2014-06-11 | Paper |
Structural extensions of display calculi: a general recipe
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Valentini's cut-elimination for provability logic resolved
The Review of Symbolic Logic | 2012-06-11 | Paper |
| Valentini's cut-elimination for provability logic resolved | 2011-03-30 | Paper |
