Följ
Joost J. Joosten
Joost J. Joosten
Profesor of Logic, University of Barcelona
Verifierad e-postadress på ub.edu - Startsida
Titel
Citeras av
Citeras av
År
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
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
362014
Modal matters for interpretability logics
E Goris, JJ Joosten
Logic Journal of the IGPL 16 (4), 371-412, 2008
36*2008
Interpretability formalized
JJ Joosten
Quaestiones Infinitae 49, 2004
332004
The interpretability logic of all reasonable arithmetical theories
JJ Joosten, A Visser
Erkenntnis 53 (1), 3-26, 2000
332000
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
302013
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
282011
Empirical encounters with computational irreducibility and unpredictability
H Zenil, F Soler-Toscano, JJ Joosten
Minds and Machines 22 (3), 149-165, 2012
252012
Towards the interpretability logic of all reasonable arithmetical theories
JJ Joosten
Master’s thesis, University of Amsterdam, 1998
221998
Turing–Taylor expansions for arithmetic theories
JJ Joosten
Studia Logica 104 (6), 1225-1243, 2016
192016
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
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
172011
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
172011
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
162014
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
122004
Turing jumps through provability
JJ Joosten
Conference on Computability in Europe, 216-225, 2015
112015
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 IL is PSPACE hard
F Bou, JJ Joosten
Electronic Notes in Theoretical Computer Science 278, 47-54, 2011
112011
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20