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.