Joost Johannes Joosten

Professor agregat

Scopus Author ID: 8719453500

Researcher ID: AAH-5706-2020

Àrea de coneixement : Lògica i Filosofia de la Ciència

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

Informació de contacte
Departament de Filosofia
Dept. Lògica, Història i Filosofia de la Ciència. Universitat de Barcelona Montalegre, 6
934037984
jjoosten(a)ub.edu

Formació acadèmica

Basic University Teaching Qualification . Utrecht University . 2004 . (Diplomatura / Llicenciatura / Grau)

Master of Science, Mathematics . University of Amsterdam . 23/12/1998 . (Diplomatura / Llicenciatura / Grau)

Propedeuse, Mathematics . University of Amsterdam . 1992 . (Diplomatura / Llicenciatura / Grau)

Propedeuse, Physics and Astronomy . University of Amsterdam . 1992 . (Diplomatura / Llicenciatura / Grau)

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

Publicacions rellevants

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 . Repositori Institucional . 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 . En More Studies in Weak Arithmetics . Volum. 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 . En Evolving Computability - 11th Conference on Computability in Europe, CiE 2015 . Volum. 9136 . (pp. 216 - 225) . Springer Verlag .

Fernández Duque, D.; Joosten, J.J. (2012). Turing progressions and their well-orders . En How the world computes, Lecture Notes in Computer Science . Volum. 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 . En Unconventional Computing . Volum. 6714 . (pp. 64 - 76) . Springer Verlag . ISBN: 0302-9743 .

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

Participació en Projectes

Mundos y valores de verdad: retos para la semántica formal . 2020 - 2024 . Ref.PID2019-107667GB-I00 . Ministerio de Ciencia, Innovación y Universidades . IP: 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 . IP: 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) . IP: 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 . IP: 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) . IP: Joost Johannes Joosten

Conferències i Participacions a Congressos

Conferència invitada (091). Colloquium Logicum. (NA) . Heidelberg . ALEMANYA . 2004 . 317138

J. J. Joosten (2004). Introducing the paradoxes. (Presentació comunicació) . Paradoxaal . Utrecht . PAÏSOS BAIXOS

Joosten, J.J. (2004). Day-Chair of the Paradoxaal Symposium. (Presidència de sessió) . Utrecht . PAÏSOS BAIXOS

J. J. Joosten (2003). Formalized Interpretability in Primitive Recursive Arithmetic. (Presentació comunicació) . ESSLLI . vienna . ÀUSTRIA

J. J. Joosten (2003). Iterations of Total Functions and Parsons’ Theorem. (Presentació comunicació) . LMPS . Oviedo . ESPANYA

J. J. Joosten (2002). The closed fragment of the interpretability logic of primitive recursive arithmetic with a constant for IΣ1. (Presentació comunicació) . Logic Colloquium . Münster . ALEMANYA

J. J. Joosten (2000). Interpretability logics and the step by step method. (Presentació comunicació) . 6th Barcelona Logic Meeting . Barcelona . ESPANYA

L. Mikec; J. J. Joosten; A. Visser; M. Vukovic. (2021). On proving interpretability principles arithmetically sound. (Presentació comunicació) . Formals 2021 . http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf#page=82 . Dubrovnik . CROÀCIA

L. Mikec; J. Joosten; M. Vuković. (2020). . (Presentació comunicació) . Formals 2020 . http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2020_Book_of_Abstracts.pdf . Dubrovnik . CROÀCIA

J. J. Joosten (2021). Finite for some practical purposes. (Presentació comunicació) . Workshop on Proof Theory and its Applications . https://kgs.logic.at/madeira2021/workshop . Funchal . PORTUGAL

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