| Publication | Date of Publication | Type |
|---|
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 |
From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems
Annals of Pure and Applied Logic | 2024-08-08 | Paper |
| Ill-founded proof systems for intuitionistic linear-time temporal logic | 2024-05-17 | Paper |
Revisiting the conservativity of fixpoints over intuitionistic arithmetic
Archive for Mathematical Logic | 2024-01-18 | Paper |
| From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems | 2023-01-18 | Paper |
THE COPERNICAN MULTIVERSE OF SETS
The Review of Symbolic Logic | 2022-11-08 | Paper |
| From Paradox to Truth | 2022-08-11 | 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 |
The Copernican Multiverse of Sets
(available as arXiv preprint) | 2020-05-22 | 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 |
Conservativity for theories of compositional truth via cut elimination
Journal of Symbolic Logic | 2015-11-09 | Paper |
Axiomatic truth, syntax and metatheoretic reasoning
The Review of Symbolic Logic | 2014-05-02 | Paper |
A proof-theoretic account of classical principles of truth
Annals of Pure and Applied Logic | 2013-12-11 | Paper |
Revision revisited
The Review of Symbolic Logic | 2013-01-10 | Paper |
The Friedman-Sheard programme in intuitionistic logic
The Journal of Symbolic Logic | 2012-09-19 | Paper |
The Friedman-Sheard programme in intuitionistic logic
The Journal of Symbolic Logic | 2012-09-19 | Paper |
An ordinal analysis for theories of self-referential truth
Archive for Mathematical Logic | 2010-03-02 | Paper |
Demystifying $\mu$
(available as arXiv preprint) | N/A | Paper |
