Skip to main content
Breadcrumb

Graham Leigh

Researcher

Linguistics, Logic and Theory of Science
unit
Telephone
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

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.