Graham E. Leigh

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Formal Language

Top Venues

Ann. Pure Appl. Log.

Publications

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
Cyclic proofs for the first-order µ-calculus. Log. J. IGPL 32 (1) (2024)
Mattias Granberg Olsson, Graham E. Leigh
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. Arch. Math. Log. 63 (1) (2024)
Daichi Hayashi, Graham E. Leigh
A Compositional Theory of Krivine's Classical Realisability. WoLLIC (2024)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Demystifying μ. CoRR (2024)
Graham E. Leigh, Dominik Wehr
From GTC to : Generating reset proof systems from cyclic proof systems. Ann. Pure Appl. Log. 175 (10) (2024)
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. TABLEAUX (2023)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
A Cyclic Proof System for Full Computation Tree Logic. CSL (2023)
Paul Kindvall Gorbow, Graham E. Leigh
The Copernican Multiverse of Sets. Rev. Symb. Log. 15 (4) (2022)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. TABLEAUX (2021)
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Herbrand's theorem as higher order recursion. Ann. Pure Appl. Log. 171 (6) (2020)
Bahareh Afshari, Graham E. Leigh
Lyndon Interpolation for Modal μ-Calculus. TbiLLC (2019)
Graham E. Leigh
From Paradox to Truth - An Introduction to Self-reference in Formal Language. TbiLLC (2019)
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
An Infinitary Treatment of Full Mu-Calculus. WoLLIC (2019)
Bahareh Afshari, Graham E. Leigh
Cut-free completeness for modal mu-calculus. LICS (2017)
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
On the Herbrand content of LK. CL&C (2016)
Graham E. Leigh
Reflecting on Truth. FLAP 3 (4) (2016)
Graham E. Leigh
Conservativity for Theories of Compositional Truth via Cut Elimination. J. Symb. Log. 80 (3) (2015)
Graham E. Leigh
Conservativity for theories of compositional truth via cut elimination. CoRR (2013)
Bahareh Afshari, Graham E. Leigh
On closure ordinals for the modal mu-calculus. CSL (2013)
Graham E. Leigh
A proof-theoretic account of classical principles of truth. Ann. Pure Appl. Log. 164 (10) (2013)
Graham E. Leigh, Carlo Nicolai
Axiomatic Truth, Syntax and Metatheoretic Reasoning. Rev. Symb. Log. 6 (4) (2013)
Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch
Revision Revisited. Rev. Symb. Log. 5 (4) (2012)