The Logic Group

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. We organise a bi-weekly research seminar, the annual Lindström Lectures and various other logic-themed events. Group members also teach in the Master in Logic programme.

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.

Current members

• Bahareh Afshari – Senior Lecturer

  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.

• 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.

• Ali Enayat – Emeritus Professor of Logic

  I am a mathematical logician, with a strong interest in the metamathematics of foundational axiomatic systems. My research work is focused on the model theory of arithmetic, the model theory of set theory, and axiomatic theories of truth.

• 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.

• Graham E Leigh – Senior Lecturer

  My research interests sit at the interface between the fields of mathematical, philosophical and computational logic. In particular, formal theories of truth, non-classical and modal logics, computational content of theories, and notions of provability.

• Gianluca Curzi – Postdoctoral 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.

• Ivan Di Liberti – Postdoctoral Researcher

  Most of my research is motivated by logic, foundations of mathematics and foundations of geometry. Concretely, my work is in categorical logic, syntax-semantics dualities, topos theory, general category theory and formal category theory.

• 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”.

• Giacomo Barlucchi – PhD student

• Tjeerd Fokkens – PhD student

• Mattias Granberg Olsson – PhD student

• Orvar Lorimer Olsson – PhD student

• Dominik Wehr – PhD student

  I am interested in the exploration of foundational systems by means of proof theory and (constructive) reverse mathematics. At the moment I work in cyclic proof theory, focusing on the soundness conditions of cyclic derivation systems.

• Anton Pertun Broberg – PhD student

Past and affiliate members

• David M. Cerna – Visiting researcher (Spring 2023)

• Paul Kindvall Gorbow – Postdoc (2018–2021)

• Lukas Zenger – Visiting researcher (Autumn 2022)

• Guillermo Menéndez Turata – Visiting researcher (Autumn 2022)

• Lide Grotenhuis – Visiting researcher (Autumn 2022)

• Daichi Hayashi – Visiting researcher (Spring 2022)