Graham E Leigh

Graham E Leigh

University of Gothenburg - Göteborg / Sweden
Others
AD Scientific Index ID: 4533441
Göteborgs universitet
person_outline Graham E Leigh's MOST POPULAR ARTICLES
1-) Cut-free completeness for modal mu-calculusB Afshari, GE Leigh2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017562017
2-) Truth is simpleL Horsten, GE LeighMind 126 (501), 195-232, 2017412017
3-) Conservativity for theories of compositional truth via cut eliminationGE LeighJournal of Symbolic Logic 80 (3), 825-865, 2013402013
4-) An ordinal analysis for theories of self-referential truthGE Leigh, M RathjenArchive for Mathematical Logic 49 (2), 213-247, 2010322010
5-) Axiomatic truth, syntax and metatheoretic reasoningGE Leigh, C NicolaiThe Review of Symbolic Logic 6 (4), 613-636, 2013262013