Graham Emil Leigh

According to our database, Graham Emil Leigh authored at least 25 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Revisiting the conservativity of fixpoints over intuitionistic arithmetic.

Mattias Granberg Olsson, Graham E. Leigh

Arch. Math. Log., February, 2024

Cyclic proofs for the first-order µ-calculus.

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh

Log. J. IGPL, January, 2024

Demystifying μ.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

CoRR, 2024

From GTC to : Generating reset proof systems from cyclic proof systems.

Graham E. Leigh, Dominik Wehr

Ann. Pure Appl. Log., 2024

A Compositional Theory of Krivine's Classical Realisability.

Daichi Hayashi, Graham E. Leigh

Proceedings of the Logic, Language, Information, and Computation, 2024

Intuitionistic Master Modality.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

A Cyclic Proof System for Full Computation Tree Logic.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

The Copernican Multiverse of Sets.

Paul Kindvall Gorbow, Graham E. Leigh

Rev. Symb. Log., 2022

2021

Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Herbrand's theorem as higher order recursion.

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Ann. Pure Appl. Log., 2020

2019

An Infinitary Treatment of Full Mu-Calculus.

Bahareh Afshari, Gerhard Jäger, Graham E. Leigh

Proceedings of the Logic, Language, Information, and Computation, 2019

From Paradox to Truth - An Introduction to Self-reference in Formal Language.

Graham E. Leigh

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Lyndon Interpolation for Modal μ-Calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2017

Cut-free completeness for modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Reflecting on Truth.

Graham E. Leigh

FLAP, 2016

On the Herbrand content of LK.

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016

2015

Conservativity for Theories of Compositional Truth via Cut Elimination.

Graham E. Leigh

J. Symb. Log., 2015

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars.

Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2013

Axiomatic Truth, Syntax and Metatheoretic Reasoning.

Graham E. Leigh, Carlo Nicolai

Rev. Symb. Log., 2013

A proof-theoretic account of classical principles of truth.

Graham E. Leigh

Ann. Pure Appl. Log., 2013

On closure ordinals for the modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Revision Revisited.

Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch

Rev. Symb. Log., 2012

The Friedman - Sheard programme in intuitionistic logic.

Graham Emil Leigh, Michael Rathjen

J. Symb. Log., 2012

2010

An ordinal analysis for theories of self-referential truth.

Graham Emil Leigh, Michael Rathjen

Arch. Math. Log., 2010