Skip to main content

Graham Leigh


Linguistics, Logic and Theory of Science
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
Postal address
Box 200
40530 Göteborg

About Graham Leigh

My research interests concern the interface between the three facets of logic: mathematical logic, philosophical logic, and theoretical computer science. In particular I am interested in proof theory, theories of truth, non-classical logics, computational content of logics, predicativism and fixed point logics.

Current research projects

  • Wallenberg Academy Fellowship 2015–2021. Research project: Reflection and Truth.
  • VR Starting Grant 2018–2022.

Research team

Preprints and forthcoming work

  • The Copernican Multiverse of Sets (with Paul K. Gorbow), 2020. arXiv:2005.11087
  • From Paradox to Truth: An introduction to self-reference in formal language. Tutorial lectures given at TbiLLC 2019.
  • Lyndon interpolation for the modal mu-calculus (with Bahareh Afshari), 2020.

The list of publications below is currently incomplete. It will be updated as soon as possible.