University of Gothenburg
University of Gothenburg
  2. About
  3. Find staff
  4. Graham Leigh

Graham Leigh

Researcher

Philosophy and Logic
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

I am associate professor (docent) in Logic and Head of Research at FLoV. 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), submitted.
  • 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.
  • 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.

The above papers are available on request.