Skip to main content
University of Gothenburg
Logik vid institutionen för filosofi, lingvistik och vetenskapsteoi
Photo: Jessica Oscarsson

Research in Logic and Mathematical methodology

Our research group in Logic employs rigorous mathematical methodology to investigate the Metamathematics of Foundational Systems (especially systems related to first and second order arithmetic, as well as Zermelo-Fraenkel set theory and its extensions), Axiomatic Theories of Truth, Logical Constants, and Dependence Logic.


  • Ali Enayat, Professor Emeritus
  • Rasmus Blanck, Senior Lecturer
  • Fredrik Engström, Senior Lecturer
  • Martin Kaså, Senior Lecturer
  • Bahareh Afshari, Researcher
  • Graham Leigh, Researcher
  • Paul Kindvall Gorbow, Postdoctor
  • Giacomo Barlucchi, Doctoral Student
  • Tjeerd Fokkens, Doctoral Student
  • Mattias Granberg Olsson, Doctoral Student

More detailed information about our research group can be found in the list of recent publications of our group, and by visiting the personal pages of our researchers.