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

Graham Leigh

Researcher

Linguistics, Logic and Theory of Science
unit
Mail
graham.leigh@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Postal address
Box 200
40530 Göteborg

Assistant Head of Department

Department of Philosophy, Linguistics, Theory of
Science
Mail
graham.leigh@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Postal address
Box 200
40530 Göteborg

Researcher

Department of Philosophy, Linguistics, Theory of
Science
Telephone
+46 31-786 29 34
Mail
graham.leigh@gu.se
Visiting address
Renströmsgatan 6
41255 Göteborg
Postal address
Box 200
40530 Göteborg

About Graham Leigh

I am associate professor (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

  • The Copernican Multiverse of Sets (with Paul K. Gorbow), Review of Symbolic Logic, online, doi: 10.1017/S1755020321000241.
  • Revisiting the conservativity of fixed points over intuitionistic arithmetic (with Mattias Granberg Olsson), draft.
  • Uniform interpolation from cyclic proofs: the case of modal mu-calculus (with Bahareh Afshari and Guillermo Menéndez Turata). Proceedings of TABLEAUX 2021, to appear.
  • 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.