Concepedia

Graham E. Leigh

GE

Statistics

Publications

6

Citations

146

H-Index

6

Active since

2010

Affiliations

University of Gothenburg(Current)

University of Oxford

University of Bristol

Graham E. Leigh is an author at University of Gothenburg specializing in humanities, logic, and philosophy.

ORCID

Publications per year

2010–2017

6

Publications

6

AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING

Graham E. Leigh, Carlo Nicolai · The Review of Symbolic Logic · 2013 · 37 citations

, , +16

Cut-free completeness for modal mu-calculus

Bahareh Afshari, Graham E. Leigh · 2017 · 32 citations

, , +9

Cut-free completeness for modal mu-calculus

Bahareh Afshari, Graham E. Leigh · Logic in Computer Science · 2017 · 24 citations

, , +9

REVISION REVISITED

Leon Horsten, Graham E. Leigh, Hannes Leitgeb et al. · The Review of Symbolic Logic · 2012 · 21 citations

, , +9

An ordinal analysis for theories of self-referential truth

Graham E. Leigh, Michael Rathjen · Archive for Mathematical Logic · 2010 · 18 citations

, , +12

1–5 of 6