Follow
Joost J. Joosten
Joost J. Joosten
Profesor of Logic, University of Barcelona
Verified email at ub.edu - Homepage
Title
Cited by
Cited by
Year
Modal matters for interpretability logics
E Goris, JJ Joosten
Logic Journal of the IGPL 16 (4), 371-412, 2008
39*2008
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
The interpretability logic of all reasonable arithmetical theories
JJ Joosten, A Visser
Erkenntnis 53, 3-26, 2000
382000
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102, 541-566, 2014
372014
Interpretability formalized
JJ Joosten
Quaestiones Infinitae 49, 2004
322004
Empirical encounters with computational irreducibility and unpredictability
H Zenil, F Soler-Toscano, JJ Joosten
Minds and Machines 22, 149-165, 2012
312012
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
312011
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
302013
Towards the interpretability logic of all reasonable arithmetical theories
JJ Joosten
Master’s thesis, University of Amsterdam, 1998
241998
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
212013
Turing–Taylor expansions for arithmetic theories
JJ Joosten
Studia Logica 104, 1225-1243, 2016
202016
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
182011
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
172014
Fractal dimension versus process complexity
JJ Joosten, F Soler-Toscano, H Zenil
Advances in Mathematical Physics 2016 (1), 5030593, 2016
162016
The omega-rule interpretation of transfinite provability logic
D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
132013
Predicativity through transfinite reflection
A CORDÓN, D Fernández-Duque, JJ Joosten, FF Lara-Martín
The Journal of Symbolic Logic 82 (3), 787-808, 2017
122017
The closed fragment of IL is PSPACE hard
F Bou, JJ Joosten
Electronic Notes in Theoretical Computer Science 278, 47-54, 2011
122011
A secure additive protocol for card players
A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, JJ Joosten, ...
arXiv preprint arXiv:1111.0156, 2011
122011
Secure communication of local states in interpreted systems
M Albert, A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
International Symposium on Distributed Computing and Artificial Intelligence …, 2011
122011
Smart labels
M Bilkova, E Goris, JJ Joosten
Institute for Logic, Language and Computation, 2004
122004
The system can't perform the operation now. Try again later.
Articles 1–20