Graham E. Leigh

Available identifiers

zbMath Open leigh.graham-emilMaRDI QIDQ1987217

List of research outcomes

Publication	Date of Publication	Type
Cyclic proofs for the first-order \(\mu\)-calculus	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	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	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	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
https://portal.mardi4nfdi.de/entity/Q5144634	2021-01-19	Paper
The Copernican Multiverse of Sets	2020-05-22	Paper
Herbrand's theorem as higher order recursion	2020-04-14	Paper
Herbrand Confluence for First-Order Proofs with Π2-Cuts	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	2015-11-09	Paper
Axiomatic truth, syntax and metatheoretic reasoning	2014-05-02	Paper
A proof-theoretic account of classical principles of truth	2013-12-11	Paper
Revision revisited	2013-01-10	Paper
The Friedman-Sheard programme in intuitionistic logic	2012-09-19	Paper
An ordinal analysis for theories of self-referential truth	2010-03-02	Paper
Demystifying $\mu$	N/A	Paper

Research outcomes over time

This page was built for person: Graham E. Leigh