Joost Johannes Joosten

Senior lecturer

Scopus Author ID: 8719453500

Researcher ID: AAH-5706-2020

Knowledge area: Lògica i Filosofia de la Ciència

Grup de Lògica de Barcelona (Barcelona Logic Group). Acronym: BCNLOGIC

Contact Information
Department of Philosophy
Dept. Lògica, Història i Filosofia de la Ciència. Universitat de Barcelona Montalegre, 6
934037984
jjoosten(a)ub.edu

Academic Training

Basic University Teaching Qualification . Utrecht University . 2004 . (Diploma / Degree / Activities)

Master of Science, Mathematics . University of Amsterdam . 23/12/1998 . (Diploma / Degree / Activities)

Propedeuse, Mathematics . University of Amsterdam . 1992 . (Diploma / Degree / Activities)

Propedeuse, Physics and Astronomy . University of Amsterdam . 1992 . (Diploma / Degree / Activities)

Doctor in Philosphy (PhD) . Utrecht University . 26/11/2004 . (Ph.D.)

Relevant publications

Joosten, J. J. (2021). Münchhausen provability. Journal of Symbolic Logic, 86(3), pp. 1006 - 1034 . https://doi.org/10.1017/jsl.2021.44 . ISSN: 0022-4812

Hermo Reyes, E.; Joosten, J. J. (2020). The Logic of Turing Progressions. Notre Dame Journal of Formal Logic, 61(1), pp. 155 - 180 . ISSN: 0029-4527

Goris, J.; Joosten, J. J. (2020). Two new series of principles in the interpretability logic of all reasonable arithmetical theories. Journal of Symbolic Logic, 85(1), pp. 1 - 25 . Institutional Repository . ISSN: 0022-4812

Borges, A.A.; Conejero Rodríguez, J.J.; Fernández Duque, D.; González Bedmar, M.; Joosten, J.J. (2020). To drive or not to drive: A logical and computational analysis of European transport regulations. Information and Computation . https://doi.org/10.1016/j.ic.2020.104636 . ISSN: 0890-5401

Joosten, J.J. (2016). Turing-Taylor expansions for arithmetic theories. Studia Logica, 104(6), pp. 1225 - 1243 . https://doi.org/10.1007/s11225-016-9674-z . ISSN: 0039-3215

Joosten, J. J. (2016). Characterizations of interpretability in bounded arithmetic . In More Studies in Weak Arithmetics . Volume. 3 . (pp. 57 - 90) . CSLI Publishing . ISBN: 13 978-1-57586-95 . https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml

Joosten, J.J. (2015). Turing Jumps Through Provability . In Evolving Computability - 11th Conference on Computability in Europe, CiE 2015 . Volume. 9136 . (pp. 216 - 225) . Springer Verlag .

Fernández Duque, D.; Joosten, J.J. (2012). Turing progressions and their well-orders . In How the world computes, Lecture Notes in Computer Science . Volume. 7318 . (pp. 212 - 221) . Springer Verlag . ISBN: 978-3-642-30869-7 . http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-30869-7

Cabello, A.; Joosten, J.J. (2011). Hidden variables simulating quantum contextuality increasingly violate the holevo bound . In Unconventional Computing . Volume. 6714 . (pp. 64 - 76) . Springer Verlag . ISBN: 0302-9743 .

Joosten, J.J.; Visser, A. (2004). How to derive principles of interpretability logic, A toolkit . In van Benthem, Troelstra, Veltman, Visser editors, Liber Amicorum for Dick de Jongh . Institute of Logic, Language and Computation . ISBN: 90-5776-1289 .

Participation in Projects

Mundos y valores de verdad: retos para la semántica formal . 2020 - 2024 . Ref.PID2019-107667GB-I00 . Ministerio de Ciencia, Innovación y Universidades . PI: Genoveva Marti Campillo; Jose Martinez Fernandez

SOFTWARE DE FALLO CERO: Innovación de alta seguridad en el transporte pesado por carretera . 2018 - 2021 . Ref.RTC-2017-6740-7 . Ministerio de Economia y Competitividad . PI: Joost Johannes Joosten

Doctorats industrials 2016. Empresa: Formal Vindications S.L . 2016 - 2019 . Ref.2016DI032 . Agència de Gestió d'Ajuts Universitaris i de Recerca (AGAUR) . PI: Joost Johannes Joosten

Complexity measures in Foundations . 2011 - 2012 . Ref.Convocatoria 20-12-2010 . Vicerectorat de Política Docent i Científica. Universitat de Barcelona . PI: Joost J. Joosten

Ramón y Cajal: Complejidad y los fundamentos de las ciencias deductivas . 2009 - 2014 . Ref.RYC-2008-02649 . Ministerio de Ciencia e Innovación (MICINN) . PI: Joost Johannes Joosten

Conferences and Participations in Congresses

Joosten, J. J. (2020). Verified programs via proof assistants for legal software. (Invited conference) . Symposium FV Time Manager Presentation . Barcelona (in streaming) . SPAIN

Borges, A.; Joosten, J. J. (2020). Quantified Reflection Calculus with One Modality. (Presentation of communication) . Advances in Modal Logic 2020 . Helsinki (In streaming) . FINLAND

Mas Rovira, J.; Mikec, L.; Joosten, J. J. (2020). Generalised Veltman semantics in Agda. (Presentation of communication) . Advances in Modal Logic 2020 . Helsinki (In streaming) . FINLAND

J. J. Joosten (2019). Chair of the Organising Committee. (Chair of scientific/organizer committee) . Fifth International Workshop on Proof Theory, Modal Logic and Reflection Principles . Barcelona . SPAIN

Joosten, J.J. (2006). Lower bounds in Proof Complexity. (Invited conference) . Logic Colloquium 2006 . Abstracts of Invited Talks in the Special Session on Proof Theory and Type Theory; The Bulletin of Symbolic Logic, 13 (2), 263; 2007 . Nijmegen . NETHERLANDS

Mining the Computational Universe. 21/02/2011

Geometrical versus Computational Complexity. 18/02/2010

Combinatorics in safe communications: two-step protocols. 04/02/2010

Provability, Interpretability and Proof Strength. 16/05/2005

Turing-Taylor expansions of arithmetic theories. 28/11/2012