Cut-free completeness for modal mu-calculus B Afshari, GE Leigh
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
77 2017 Truth is simple L Horsten, GE Leigh
Mind 126 (501), 195-232, 2017
46 2017 Conservativity for theories of compositional truth via cut elimination GE Leigh
Journal of Symbolic Logic 80 (3), 825-865, 2013
44 2013 An ordinal analysis for theories of self-referential truth GE Leigh, M Rathjen
Archive for Mathematical Logic 49 (2), 213-247, 2010
30 2010 Axiomatic truth, syntax and metatheoretic reasoning GE Leigh, C Nicolai
The Review of Symbolic Logic 6 (4), 613-636, 2013
22 2013 On closure ordinals for the modal mu-calculus B Afshari, GE Leigh
Computer Science Logic 2013 (CSL 2013), 2013
18 2013 Revision revisited L Horsten, GE Leigh, H Leitgeb, P Welch
The Review of Symbolic Logic 5 (4), 642-664, 2012
17 2012 The Friedman-Sheard programme in intuitionistic logic GE Leigh, M Rathjen
The Journal of Symbolic Logic 77 (3), 777-806, 2012
16 2012 ROAD TO PARADOX: A Guide to Syntax, Truth and Modality VOLKER. LEIGH HALBACH (GRAHAM E.)
Cambridge University Press, 2024
14 2024 An infinitary treatment of full mu-calculus B Afshari, G Jäger, GE Leigh
International Workshop on Logic, Language, Information, and Computation, 17-34, 2019
14 2019 Uniform interpolation from cyclic proofs: the case of modal mu-calculus B Afshari, GE Leigh, G Menéndez Turata
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
12 2021 Herbrand disjunctions, cut elimination and context-free tree grammars B Afshari, S Hetzl, GE Leigh
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
12 2015 Cyclic proofs for the first-order µ-calculus B Afshari, S Enqvist, GE Leigh
Logic Journal of the IGPL 32 (1), 1-34, 2024
10 2024 Reflecting on Truth GE Leigh
IfCoLoG Journal of Logics and their Applications 3 (4), 557-593, 2016
10 2016 Herbrand's theorem as higher order recursion B Afshari, S Hetzl, GE Leigh
Annals of Pure and Applied Logic 171 (6), 102792, 2020
9 2020 Finitary Proof Systems for Kozen's μ B Afshari, GE Leigh
Mathematisches Forschungsinstitut Oberwolfach, 2016
9 2016 A cyclic proof system for full computation tree logic B Afshari, GE Leigh, G Menéndez Turata
31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023
7 2023 Lyndon Interpolation for Modal -Calculus B Afshari, GE Leigh
International Tbilisi Symposium on Logic, Language, and Computation, 197-213, 2019
7 2019 Circular proofs for the modal mu‐calculus B Afshari, GE Leigh
Pamm 16 (1), 893-894, 2016
7 2016 A proof-theoretic account of classical principles of truth GE Leigh
Annals of Pure and Applied Logic 164 (10), 1009-1024, 2013
7 2013