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

Research in Logic

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


  • Ali Enayat, Professor Emeritus
  • Bahareh Afshari, Senior Lecturer
  • Rasmus Blanck, Senior Lecturer
  • Fredrik Engström, Senior Lecturer
  • Martin Kaså, Senior Lecturer
  • Graham Leigh, Senior Lecturer
  • Gianluca Curzi, Postdoctoral Researcher
  • Ivan Di Liberti, Postdoctoral Researcher
  • Anton Pertun Broberg, Lecturer
  • Giacomo Barlucchi, Doctoral Student
  • Tjeerd Fokkens, Doctoral Student
  • Mattias Granberg Olsson, Doctoral Student
  • Orvar Lorimer Olsson, Doctoral Student
  • Dominik Wehr, Doctoral Student

See respective personal web page and publications: Link to staff list

More detailed information about our research group can be found on our external webpage and the personal pages of our researchers.