| Publication | Date of Publication | Type |
|---|
Abstract cyclic proofs
Mathematical Structures in Computer Science | 2024-11-29 | Paper |
Cyclic proofs for the first-order \(\mu\)-calculus
Logic Journal of the IGPL | 2024-11-15 | Paper |
| A cyclic proof system for full computation tree logic | 2024-09-25 | Paper |
| Ill-founded proof systems for intuitionistic linear-time temporal logic | 2024-05-17 | Paper |
Abstract cyclic proofs
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Exact bounds for acyclic higher-order recursion schemes
Information and Computation | 2023-01-12 | Paper |
| scientific article; zbMATH DE number 7585701 (Why is no real title available?) | 2022-09-15 | Paper |
| Lyndon Interpolation for Modal $$\mu $$-Calculus | 2022-08-11 | Paper |
| Uniform interpolation from cyclic proofs: the case of modal mu-calculus | 2022-05-25 | Paper |
| On the Herbrand content of LK | 2021-12-07 | Paper |
On the Herbrand content of LK
(available as arXiv preprint) | 2021-12-07 | Paper |
| scientific article; zbMATH DE number 7297836 (Why is no real title available?) | 2021-01-19 | Paper |
Herbrand's theorem as higher order recursion
Annals of Pure and Applied Logic | 2020-04-14 | Paper |
Herbrand Confluence for First-Order Proofs with Π2-Cuts
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-02 | Paper |
| An infinitary treatment of full \(\mu\)-calculus | 2020-03-04 | Paper |
| Herbrand disjunctions, cut elimination and context-free tree grammars | 2017-07-12 | Paper |
| On closure ordinals for the modal \(\mu\)-calculus | 2017-02-02 | Paper |
Ordinal analysis and the infinite Ramsey theorem
Lecture Notes in Computer Science | 2012-08-14 | Paper |
A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
Archive for Mathematical Logic | 2010-03-02 | Paper |
Reverse mathematics and well-ordering principles: a pilot study
Annals of Pure and Applied Logic | 2009-10-26 | Paper |
Post's Programme for the Ershov Hierarchy
Journal Of Logic And Computation | 2008-02-07 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Demystifying $\mu$
(available as arXiv preprint) | N/A | Paper |
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
(available as arXiv preprint) | N/A | Paper |
