Image
Photo: Jessica Oscarsson
Research in Logic and Mathematical methodology
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.
People
- 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
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.
