Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Konstantinos Papafilippou

Awards & Distinctions

5 Results

2025

Exponential Lower Bounds on Definable Fixed Points

Konstantinos PapafilippouDavid Fernández-Duque

2024

Projectivity meets uniform post-interpolant : classical and intuitionistic logic

Seyedmojtaba MojtahediKonstantinos Papafilippou

2023

The universal tangle for spatial reasoning

David Fernández-DuqueKonstantinos Papafilippou

Bookchapter in Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings

2022

Arithmetical and hyperarithmetical worm battles

David Fernández-DuqueJoost J JoostenFedor PakhomovKonstantinos PapafilippouAndreas Weiermann

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

2021

Hyperarithmetical worm battles

David Fernández-DuqueKonstantinos PapafilippouJoost J. Joosten