| Publication | Date of Publication | Type |
|---|
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
(available as arXiv preprint) | N/A | Paper |
On the Completeness of Interpolation Algorithms
(available as arXiv preprint) | N/A | Paper |
Universal proof theory: semi-analytic rules and uniform interpolation
Annals of Pure and Applied Logic | 2026-09-08 | Paper |
Completeness of interpolation algorithms in classical and non-classical logics
Annals of Pure and Applied Logic | 2026-07-28 | Paper |
Feasibility of primality in bounded arithmetic
Forum of Mathematics, Sigma | 2026-04-09 | Paper |
Feasibility of Primality in Bounded Arithmetic
(available as arXiv preprint) | 2026-01-01 | Paper |
Proof Complexity of Linear Logics
(available as arXiv preprint) | 2026-01-01 | Paper |
Uniform Lyndon interpolation for basic non-normal modal and conditional logics
Journal of Logic and Computation | 2025-09-30 | Paper |
Uniform interpolation via nested sequents and hypersequents
Journal of Logic and Computation | 2025-09-30 | Paper |
| On the completeness of interpolation algorithms | 2025-06-18 | Paper |
Skolemization In Intermediate Logics
(available as arXiv preprint) | 2025-01-01 | Paper |
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
(available as arXiv preprint) | 2025-01-01 | Paper |
Universal Proof Theory, TACL 2022 Lecture Notes
(available as arXiv preprint) | 2025-01-01 | Paper |
Universal proof theory: feasible admissibility in intuitionistic modal logics
Annals of Pure and Applied Logic | 2024-12-12 | Paper |
Universal proof theory: semi-analytic rules and Craig interpolation
Annals of Pure and Applied Logic | 2024-10-07 | Paper |
| Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation | 2024-05-17 | Paper |
| Universal Proof Theory, TACL 2022 Lecture Notes | 2023-05-18 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2023-03-24 | Paper |
| Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics | 2022-09-19 | Paper |
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
(available as arXiv preprint) | 2022-08-10 | Paper |
Uniform Lyndon interpolation for intuitionistic monotone modal logic
(available as arXiv preprint) | 2022-08-09 | Paper |
Uniform Lyndon interpolation for basic non-normal modal logics
(available as arXiv preprint) | 2022-06-24 | Paper |
Uniform interpolation via nested sequents
(available as arXiv preprint) | 2022-06-24 | Paper |
Proof complexity of substructural logics
Annals of Pure and Applied Logic | 2021-06-14 | Paper |
| An exponential lower bound for proofs in focused calculi | 2020-03-04 | Paper |
| Universal Proof Theory: Semi-analytic Rules and Craig Interpolation | 2018-08-19 | Paper |
| Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation | 2018-08-19 | Paper |
