I studied Physics and Mathematics at the University of Amsterdam, where after having completed two years of Physics I fully dedicated to Mathematics, specializing in Mathematical logic. After this, I pursued a PhD at Utrecht University on Interpretability Logics while employed by the Philosophy Department. After two years at Risk Management, various postdocs in Prague, Utrecht, Amsterdam and Seville, I moved to Barcelona with a Ramón y Cajal stipend at the Department of Logic, History and Philosophy of Science. I am a member of the IMUB since 2011 and elected member of the Academia Europaea since 2024. Since 2022 I hold an ICREA Acadèmia stipend.

http://www.joostjjoosten.nl//

Foundations of Mathematics
Proof Theory
Philosophical Logic
Ordinal Analysis
Logic in Computer Science and in Law

Some projects where I am/have been PI or equivalent:

ICREA Acadèmia, Section Humanities, ICREA, 2023 – 2028, 200.000 €.

Industrial doctorate program, 2022 DI 051, Generalitat de Catalunya, Departament d’Empresa i Coneixement, Oct. 2022–Sept. 2026, additional research stimulus 33.960 €

Five other Industrial doctorate program projects of equal dimension.

RETOS 2017, Ministry of Science and Universities, Retos Colaboración RTC-2017-6740-7 Software de fallo cero, grant of 825.704 €, rentless loan of 284.672 €; Co-financed through the ERDF scheme (European Regional Development Fund of the European Commission); Jan 2019 – May 2022.

Programa Estatal Incorporación Estable de Doctores 2016I3/IEDI2016, IEDI- 2016-00774; Ministry of Economy and Competitiveness; 01/01/2016–31/12/2018; 98.684 €

Lógica Matemática, MTM2014-59178-P; Ministry of Economy and Competitiveness; 01/01/2015–31/12/2017; 47.311 €.

1. J. J. Joosten. Münchhausen Provability. Journal of Symbolic Logic, Volume 86 (3), pages 1006 – 1034, 2021.
2. A. de Almeida Borges, J. J. Joosten. An Escape from Vardanyan’s Theorem. Journal of Symbolic Logic, Volume 88, Issue 4, Pages 1613 – 1638, 2023.
3. D. Fernández-Duque, J. J. Joosten, F. Pakhomov, K. Papafilippou, and A. Weierman. Arithmetical and Hyperarithmetical Worm Battles. Journal of Logic and Computation, Volume 32, Issue 8, Pages 1558 – 1584, December 2022.
4. D. Fernández-Duque, and J. J. Joosten. The omega-rule interpretation of transfinite provability logic. Annals of Pure and Applied Logic 169 (4), pages 333-371, 2018.
5. I. van der Giessen, J. J. Joosten, P. Mayaux, V. Navarro Arroyo. On the Contingency of Logic in Possible World Semantics. Logica Universalis, ISSN 1661-8300, Open Access Published, (winning paper of the Spanish Section of the World Logic Prizes Contest) 2025.