People
The logic group is part of the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg.
Our group has a broad expertise in mathematical, philosophical and computational logic. With a diverse team from varied backgrounds, we integrate different traditions in mathematical logic, ranging from proof theory, models of arithmetics, and dependence logics to modal logic and categorical semantics. Our group is also interested in philosophy of language and applications of logic to linguistics.
We are one of the member groups of the Scandinavian Logic Society which organises a number of events promoting logic in the Nordic regions, for instance the Nordic Online Logic Seminar.
Bahareh Afshari, Professor
My expertise is in proof theory and its application to computational logic. I am particularly interested in expressibility, complexity, and deductive strength in fixed point logics. Other topics that I have worked on and/or are currently pursuing include relative computability, reverse mathematics, ordinal analysis, computational content of proofs, automata theory and games.
Graham E Leigh, Professor
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.
Fredrik Engström, Senior Lecturer
Early research on models of arithmetic including compositional theories of truth and transplendent models. Later, focus shifted towards Dependence logic and generalized quantifiers as well as the characterization of logical constants. Also interested in the cognitive aspects of logical reasoning.
Martin Kaså, Senior Lecturer
My background is in philosophical logic, with a focus on formal systems for trial-and-error processes. Recently, my research interests have shifted somewhat towards argumentation theory and (logical) philosophy of language. In particular the application of foundational theories in philosophical semantics and pragmatics to practically useful argumentation analysis.
Rasmus Blanck, Associate Senior Lecturer
My research interests lie close to logic, philosophy, and linguistics. In particular, I have been working on the metamathematics of arithmetic, philosophy of mathematics, formal semantics and probabilistic semantics for natural language.
Ivan Di Liberti, Associate Senior Lecturer
My research is motivated by logic, foundations of mathematics and foundations of geometry. My work is in categorical logic, syntax-semantics dualities, topos theory, general category theory and formal category theory.
Gianluca Curzi, Researcher
My research interests range from proof theory, linear logic, lambda calculus and type theories to computational complexity, coinduction, and probabilistic computation. I am now working on the computational strength of cyclic proofs, with special attention to their complexity-theoretic aspects.
Orvar Lorimer Olsson, PhD student
With a warm heart for algebra, and a tendency for abstraction, I am interested in fundamental questions regarding formulations of logical semantics and proof systems: identifying classes of systems, translations between systems, systematically generating new systems from known structures, etc.
Ali Enayat, Professor Emeritus
I am a mathematical logician whose research work is focused on model theory of arithmetic and set theory, and axiomatic theories of truth. I worked at GU as Professor of Logic from May 2013 to July 2020. Since my retirement, I have been affiliated with GU as Emeritus Professor of Logic.
Paula Quinon, Visiting Researcher
I am a philosopher of mathematics interested in arithmetical concepts. I study the concept of natural number, but also adjacent concepts such as “arithmetic function”, “recursive function”, “computation”, “computability”, “encoding”, “equality”, “identity”, or “infinity”.
Past members
Giacomo Barlucchi, PhD student
Giacomo completed his PhD, Accounting for Recursion: A Descriptive and Computational Study of Fixed Points in June 2026.
Anton Pertun Broberg, PhD student
Tjeerd Fokkens, PhD student
Tjeerd’s doctoral thesis, Ordering Thought: Cognitive Complexity of a Description Logic, was defended on 7th November 2025.
Mattias Granberg Olsson, PhD student
Mattias successfully defended his PhD thesis, Fixed IDs about Truth – Truth and Fixpoints over Intuitionistic Arithmetic, on 5 June 2025.
Dominik Wehr, PhD student
Dominik completed his PhD, Cyclic Proof Theory on 12 December 2025.
Paul Kindvall Gorbow, Postdoctoral Researcher
Paul is a former PhD of the group, completing his doctoral studies in 2018, entitled Self-similarity in the foundations. Following the PhD, Paul spent two years as a postdoc with the group.