Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Konstantinos Papafilippou

Publicaties & datasets

Prijzen & Erkenningen

6 Resultaten

2025

Exponential lower bounds on definable fixed points

Konstantinos PapafilippouDavid Fernández-Duque

Modal combinatorics : unification, fixed-points, and reflection

Konstantinos PapafilippouDavid Fernández-DuqueAndreas WeiermannSeyedmojtaba MojtahediJuan Aguilera

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

Hoofdstuk in een boek 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 Artikel in een tijdschrift in JOURNAL OF LOGIC AND COMPUTATION

2021

Hyperarithmetical worm battles

David Fernández-DuqueKonstantinos PapafilippouJoost J. Joosten