Graham Leigh

Senior Lecturer

Philosophy and Logic
Visiting address
Renströmsgatan 6
41255 Göteborg
Room number
Postal address
Box 200
40530 Göteborg

About Graham Leigh

I am associate professor and senior lecturer (docent) in Logic. 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.

For information about our research seminar in logic and activities of our group see our external webpage.

My interview with the Wallenberg Foundation: Reflecting on truth with the help of 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

Preprints and forthcoming work

  • Revisiting the conservativity of fixed points over intuitionistic arithmetic (with Mattias Granberg Olsson), accepted.
  • Uniform interpolation from cyclic proofs (with Bahareh Afshari and Guillermo Menéndez Turata). Journal version of the article in TABLEAUX (2021) with full proofs and application to other modal logics.

The above papers are available on request.