Modal matters for interpretability logics E Goris, JJ Joosten Logic Journal of the IGPL 16 (4), 371-412, 2008 | 40* | 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 | 40 | 2005 |

The interpretability logic of all reasonable arithmetical theories JJ Joosten, A Visser Erkenntnis 53, 3-26, 2000 | 40 | 2000 |

On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten Studia Logica 102, 541-566, 2014 | 37 | 2014 |

Interpretability formalized JJ Joosten Quaestiones Infinitae 49, 2004 | 35 | 2004 |

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 | 32 | 2011 |

Models of transfinite provability logic D Fernández-Duque, JJ Joosten The Journal of Symbolic Logic 78 (2), 543-561, 2013 | 31 | 2013 |

Empirical encounters with computational irreducibility and unpredictability H Zenil, F Soler-Toscano, JJ Joosten Minds and Machines 22, 149-165, 2012 | 31 | 2012 |

Towards the interpretability logic of all reasonable arithmetical theories JJ Joosten Master’s thesis, University of Amsterdam, 1998 | 26 | 1998 |

Turing–Taylor expansions for arithmetic theories JJ Joosten Studia Logica 104, 1225-1243, 2016 | 21 | 2016 |

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 | 21 | 2013 |

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 | 18 | 2011 |

Fractal dimension versus process complexity JJ Joosten, F Soler-Toscano, H Zenil Advances in Mathematical Physics 2016 (1), 5030593, 2016 | 17 | 2016 |

Well-orders in the transfinite Japaridze algebra D Fernández-Duque, JJ Joosten Logic Journal of the IGPL 22 (6), 933-963, 2014 | 17 | 2014 |

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 | 14 | 2004 |

The omega-rule interpretation of transfinite provability logic D Fernández-Duque, JJ Joosten arXiv preprint arXiv:1302.5393, 2013 | 13 | 2013 |

The closed fragment of IL is PSPACE hard F Bou, JJ Joosten Electronic Notes in Theoretical Computer Science 278, 47-54, 2011 | 13 | 2011 |

Smart labels M Bilkova, E Goris, JJ Joosten Institute for Logic, Language and Computation, 2004 | 13 | 2004 |

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 | 12 | 2018 |

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 | 12 | 2017 |