Show 15 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author="Joosten, Joost J" or (type any "bookEditor issueEditor" and editor="Joosten, Joost J") Add to list Journal Article A1 Arithmetical and hyperarithmetical worm battles David Fernández-Duque (UGent) , Joost J Joosten, Fedor Pakhomov (UGent) , Konstantinos Papafilippou (UGent) and Andreas Weiermann (UGent) (2022) JOURNAL OF LOGIC AND COMPUTATION. 32(8). p.1558-1584 Add to list Journal Article A1 open access The omega-rule interpretation of transfinite provability logic David Fernández-Duque (UGent) and Joost J Joosten (2017) ANNALS OF PURE AND APPLIED LOGIC. 169(4). p.333-371 Add to list Journal Article A1 Predicativity through transfinite reflection Andrés Cordón-Franco, David Fernández-Duque (UGent) , Joost J Joosten and Francisco Félix Lara-Martín (2017) JOURNAL OF SYMBOLIC LOGIC. 82(3). p.787-808 Add to list Journal Article A1 Well-orders in the transfinite Japaridze algebra David Fernández-Duque (UGent) and Joost J Joosten (2014) LOGIC JOURNAL OF THE IGPL. 22(6). p.933-963 Add to list Journal Article A1 On provability logics with linearly ordered modalities Lev D Beklemishev, David Fernández-Duque (UGent) and Joost J Joosten (2014) STUDIA LOGICA. 102(3). p.541-566 Add to list Journal Article A1 Hyperations, Veblen progressions and transfinite iteration of ordinal functions David Fernández-Duque (UGent) and Joost J Joosten (2013) ANNALS OF PURE AND APPLIED LOGIC. 164(7-8). p.785-801 Add to list Journal Article A1 Models of transfinite provability logic David Fernández-Duque (UGent) and Joost J Joosten (2013) JOURNAL OF SYMBOLIC LOGIC. 78(2). p.543-561