Joost J. Joosten
Joost J. Joosten
Profesor of Logic, University of Barcelona
Verified email at ub.edu - Homepage
Title
Cited by
Cited by
Year
A finitary treatment of the closed fragment of Japaridze's provability logic
LD Beklemishev, JJ Joosten, M Vervoort
Journal of Logic and Computation 15 (4), 447-463, 2005
392005
Modal matters for interpretability logics
E Goris, JJ Joosten
Logic Journal of the IGPL 16 (4), 371-412, 2008
34*2008
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
332014
The interpretability logic of all reasonable arithmetical theories
JJ Joosten, A Visser
Erkenntnis 53 (1), 3-26, 2000
322000
Interpretability formalized
JJ Joosten
Quaestiones Infinitae 49, 2004
312004
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
262013
A new principle in the interpretability logic of all reasonable arithmetical theories
E Goris, JJ Joosten
Logic Journal of the IGPL 19 (1), 1-17, 2011
262011
Empirical encounters with computational irreducibility and unpredictability
H Zenil, F Soler-Toscano, JJ Joosten
Minds and Machines 22 (3), 149-165, 2012
242012
Towards the interpretability logic of all reasonable arithmetical theories
JJ Joosten
Master’s thesis, University of Amsterdam, 1998
211998
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
D Fernández-Duque, JJ Joosten
Annals of Pure and Applied Logic 164 (7-8), 785-801, 2013
182013
Turing–Taylor expansions for arithmetic theories
JJ Joosten
Studia Logica 104 (6), 1225-1243, 2016
162016
Program-size versus time complexity, speed-up and slowdown phenomena in small Turing machines
JJ Joosten, F Soler-Toscano, H Zenil
arXiv preprint arXiv:1102.5389, 2011
162011
Program-size versus time complexity, speed-up and slowdown phenomena in small Turing machines
JJ Joosten, F Soler-Toscano, H Zenil
arXiv preprint arXiv:1102.5389, 2011
162011
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
132014
The omega-rule interpretation of transfinite provability logic
D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
132013
Kripke Models of Transfinite Provability Logic.
D Fernández-Duque, JJ Joosten
Advances in Modal Logic 9, 185-199, 2012
112012
The Closed Fragment of the Interpretability Logic of PRA with a Constant for
JJ Joosten
Notre Dame Journal of Formal Logic 46 (2), 127-146, 2005
112005
The Closed Fragment of the Interpretability Logic of PRA with a Constant for
JJ Joosten
Notre Dame Journal of Formal Logic 46 (2), 127-146, 2005
112005
How to derive principles of interpretability logic, A toolkit
JJ Joosten, A Visser
Liber Amicorum for Dick de Jongh. Intitute for Logic, Language and Computation, 2004
112004
Turing jumps through provability
JJ Joosten
Conference on Computability in Europe, 216-225, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20