Graham E. Leigh

From MaRDI portal
Person:1987217

Available identifiers

zbMath Open leigh.graham-emilMaRDI QIDQ1987217

List of research outcomes





PublicationDate of PublicationType
Cyclic proofs for the first-order \(\mu\)-calculus2024-11-15Paper
A cyclic proof system for full computation tree logic2024-09-25Paper
From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems2024-08-08Paper
Ill-founded proof systems for intuitionistic linear-time temporal logic2024-05-17Paper
Revisiting the conservativity of fixpoints over intuitionistic arithmetic2024-01-18Paper
From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems2023-01-18Paper
THE COPERNICAN MULTIVERSE OF SETS2022-11-08Paper
From Paradox to Truth2022-08-11Paper
Lyndon Interpolation for Modal $$\mu $$-Calculus2022-08-11Paper
Uniform interpolation from cyclic proofs: the case of modal mu-calculus2022-05-25Paper
On the Herbrand content of LK2021-12-07Paper
https://portal.mardi4nfdi.de/entity/Q51446342021-01-19Paper
The Copernican Multiverse of Sets2020-05-22Paper
Herbrand's theorem as higher order recursion2020-04-14Paper
Herbrand Confluence for First-Order Proofs with Π2-Cuts2020-04-02Paper
An infinitary treatment of full \(\mu\)-calculus2020-03-04Paper
Herbrand disjunctions, cut elimination and context-free tree grammars2017-07-12Paper
On closure ordinals for the modal \(\mu\)-calculus2017-02-02Paper
Conservativity for theories of compositional truth via cut elimination2015-11-09Paper
Axiomatic truth, syntax and metatheoretic reasoning2014-05-02Paper
A proof-theoretic account of classical principles of truth2013-12-11Paper
Revision revisited2013-01-10Paper
The Friedman-Sheard programme in intuitionistic logic2012-09-19Paper
An ordinal analysis for theories of self-referential truth2010-03-02Paper
Demystifying $\mu$N/APaper

Research outcomes over time

This page was built for person: Graham E. Leigh