Graham E. Leigh

30 papers A* 1B 5C 2Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm.
CoRR
Gianluca Curzi, Graham E. Leigh
2026 J jnl
Tarskian theories of Krivine's classical realizability.
J. Log. Comput.
Daichi Hayashi, Graham E. Leigh
2025 J jnl
Demystifying μ.
Fundam. Informaticae
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2025 J jnl
Herbrand schemes for first-order logic.
Arch. Math. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2025 J jnl
Proof Systems for two-Way Modal
J. Symb. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
2025 J jnl
Unravelling Cyclic First-Order Arithmetic.
CoRR
Graham E. Leigh, Dominik Wehr
2024 C conf
A Compositional Theory of Krivine's Classical Realisability.
WoLLIC
Daichi Hayashi, Graham E. Leigh
2024 J jnl
Cyclic proofs for the first-order µ-calculus.
Log. J. IGPL
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2024 J jnl
Demystifying μ.
CoRR
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2024 J jnl
From GTC to : Generating reset proof systems from cyclic proof systems.
Ann. Pure Appl. Log.
Graham E. Leigh, Dominik Wehr
2024 B conf
Intuitionistic Master Modality.
AiML
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
2024 J jnl
Revisiting the conservativity of fixpoints over intuitionistic arithmetic.
Arch. Math. Log.
Mattias Granberg Olsson, Graham E. Leigh
2024 — conf
The Limit of Recursion in State-based Systems.
FICS@CSL
Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh
2023 B conf
A Cyclic Proof System for Full Computation Tree Logic.
CSL
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2023 B conf
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.
TABLEAUX
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
2022 J jnl
The Copernican Multiverse of Sets.
Rev. Symb. Log.
Paul Kindvall Gorbow, Graham E. Leigh
2021 B conf
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.
TABLEAUX
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2020 J jnl
Herbrand's theorem as higher order recursion.
Ann. Pure Appl. Log.
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2019 C conf
An Infinitary Treatment of Full Mu-Calculus.
WoLLIC
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
2019 — conf
From Paradox to Truth - An Introduction to Self-reference in Formal Language.
TbiLLC
Graham E. Leigh
2019 — conf
Lyndon Interpolation for Modal μ-Calculus.
TbiLLC
Bahareh Afshari, Graham E. Leigh
2017 A* conf
Cut-free completeness for modal mu-calculus.
LICS
Bahareh Afshari, Graham E. Leigh
2016 — conf
On the Herbrand content of LK.
CL&C
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2016 J jnl
Reflecting on Truth.
FLAP
Graham E. Leigh
2015 J jnl
Conservativity for Theories of Compositional Truth via Cut Elimination.
J. Symb. Log.
Graham E. Leigh
2013 J jnl
A proof-theoretic account of classical principles of truth.
Ann. Pure Appl. Log.
Graham E. Leigh
2013 J jnl
Axiomatic Truth, Syntax and Metatheoretic Reasoning.
Rev. Symb. Log.
Graham E. Leigh, Carlo Nicolai
2013 J jnl
Conservativity for theories of compositional truth via cut elimination.
CoRR
Graham E. Leigh
2013 B conf
On closure ordinals for the modal mu-calculus.
CSL
Bahareh Afshari, Graham E. Leigh
2012 J jnl
Revision Revisited.
Rev. Symb. Log.
Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch