Graham Leigh

Researcher

Linguistics, Logic and Theory of Science

unit

Telephone

+46 31-786 29 34

Mail

graham.leigh@gu.se

Visiting address

Renströmsgatan 6

41255 Göteborg

Room number

J507

Postal address

Box 200

40530 Göteborg

About Graham Leigh

My research interests concern the interface between the three facets of logic: mathematical, philosophical and computational logic. I have worked in proof theory, theories of truth, non-classical logics, computational content of logics, and modal logic.

Research projects

Wallenberg Academy Fellowship Prolongation, 2020. Research project: Taming Jörmungandr: The Logical Foundations of Circularity (2021–2026).
Wallenberg Academy Fellowship, 2015. Research project: Reflection and Truth (2015–2021).
VR Starting Grant. Project: Reflecting on Truth and Types (2018–2022).

Research team

Paul Kindvall Gorbow, Postdoc
Anton Pertun Broberg, doctoral student
Mattias Granberg Olsson, doctoral student
Giacomo Barlucchi, doctoral student
Tjeerd Fokkens, doctoral student

Preprints and forthcoming work

The Copernican Multiverse of Sets (with Paul K. Gorbow), Review of Symbolic Logic, accepted. arXiv:2005.11087
From Paradox to Truth: An introduction to self-reference in formal language. In: Logic, Language, and Computation, Selected papers of the Thirteenth International Tbilisi Symposium, to appear.
Lyndon interpolation for the modal mu-calculus (with Bahareh Afshari). In: Logic, Language, and Computation, Selected papers of the Thirteenth International Tbilisi Symposium, to appear.

Publications

Herbrand's theorem as higher order
recursion

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic - 2020-01-01
An infinitary treatment of full
mu-calculus

Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy - 2019-01-01
Axiomatic Theories of
Truth

Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy - 2018-01-01
Herbrand’s Theorem as Higher Order
Recursion

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
- 2018-01-01
Cut-free completeness for modal
mu-calculus

Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland - 2017-01-01
Truth is
Simple

Leon Horsten, Graham E. Leigh
Mind - 2017-01-01
Herbrand confluence for first-order proofs with
Π2-cuts

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.) - 2016-01-01
Herbrand's theorem
revisited

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender - 2016-01-01
On the Herbrand content of
LK

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016 - 2016-01-01
Reflecting on
Truth

Graham E. Leigh
IfCoLog Journal of Logics and their Applications - 2016-01-01
Finitary Proof Systems for Kozen’s
μ

Bahareh Afshari, Graham E. Leigh
- 2016-01-01
Circular proofs for the modal
mu-calculus

Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany. - 2016-01-01
Herbrand disjunctions, cut elimination and context-free tree
grammars

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2015-01-01
Some Weak Theories of
Truth

Graham E. Leigh
Unifying the Philosophy of Truth - 2015-01-01
Conservativity for theories of compositional truth via cut
elimination

Graham E. Leigh
Journal of Symbolic Logic - 2015-01-01
Axiomatic theories of
truth

Graham E. Leigh, Volker Halbach
Stanford Encyclopedia of Philosophy (Summer 2014 Edition) - 2014-01-01
On closure ordinals for the modal
μ-calculus

Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2013-01-01
A proof-theoretic account of classical principles of
truth

Graham E. Leigh
Annals of Pure and Applied Logic - 2013-01-01
Axiomatic truth, syntax and metatheoretic
reasoning

Graham E. Leigh, Carlo Nicolai
Review of Symbolic Logic - 2013-01-01
Revision
Revisited

Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip Welch
The Review of Symbolic Logic - 2012-01-01
The Friedman-Sheard programme in intuitionistic
logic

Graham E. Leigh, Michael Rathjen
Journal of Symbolic Logic - 2012-01-01
A proof-theoretic account of classical principles of truth (extended
abstract)

Graham E. Leigh
Numbers and truth, Göteborg, Sweden, October 19-21, 2012 - 2012-01-01
An ordinal analysis for theories of self-referential
truth

Graham E. Leigh, Michael Rathjen
Archive for Mathematical Logic - 2010-01-01
Proof-theoretic investigations into the Friedman-Sheard theories and other theories of
truth

Graham E. Leigh
- 2010-01-01
Five papers on axiomatic theories of
truth

Graham E. Leigh
Bulletin of Symbolic Logic - 2010-01-01