Folgen
Joost J. Joosten
Joost J. Joosten
Profesor of Logic, University of Barcelona
Bestätigte E-Mail-Adresse bei ub.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
402005
Modal matters for interpretability logics
E Goris, JJ Joosten
Logic Journal of the IGPL 16 (4), 371-412, 2008
39*2008
The interpretability logic of all reasonable arithmetical theories
JJ Joosten, A Visser
Erkenntnis 53, 3-26, 2000
392000
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
332004
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
312013
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
Towards the interpretability logic of all reasonable arithmetical theories
JJ Joosten
Master’s thesis, University of Amsterdam, 1998
241998
Turing–Taylor expansions for arithmetic theories
JJ Joosten
Studia Logica 104, 1225-1243, 2016
212016
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
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
Fractal dimension versus process complexity
JJ Joosten, F Soler-Toscano, H Zenil
Advances in Mathematical Physics 2016 (1), 5030593, 2016
172016
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
172014
The omega-rule interpretation of transfinite provability logic
D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
132013
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
132004
The omega-rule interpretation of transfinite provability logic
D Fernández-Duque, JJ Joosten
Annals of Pure and Applied Logic 169 (4), 333-371, 2018
122018
Predicativity through transfinite reflection
A CORDÓN, D Fernandez-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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20