Hyperarithmetical Worm Battles. - David Fernández-Duque; Konstantinos Papafilippou; Joost J. Joosten (LFCS, 2022)

Arithmetical and Hyperarithmetical Worm Battles. - David Fernández-Duque; Joost J. Joosten; Fedor Pakhomov; Konstantinos Papafilippou; Andreas Weiermann (J. Log. Comput., 2022)

The Universal Tangle for Spatial Reasoning. - David Fernández-Duque; Konstantinos Papafilippou (JELIA, 2023)

Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. - Mojtaba Mojtahedi; Konstantinos Papafilippou (AiML, 2024)

Exponential Lower Bounds on Definable Fixed Points. - Konstantinos Papafilippou; David Fernández-Duque (CSL, 2025)