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

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.

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.

People

  • Ali Enayat, Professor Emeritus
  • Fredrik Engström, Senior Lecturer
  • Martin Kaså, Senior Lecturer
  • Bahareh Afshari, Researcher
  • Graham Leigh, Researcher
  • Paul Kindvall Gorbow, Postdoctor
  • Mattias Granberg Olsson, Doctoral student