Konstantinos Papafilippou

According to our database, Konstantinos Papafilippou authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Exponential Lower Bounds on Definable Fixed Points.

Konstantinos Papafilippou, David Fernández-Duque

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic.

Mojtaba Mojtahedi, Konstantinos Papafilippou

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

The Universal Tangle for Spatial Reasoning.

David Fernández-Duque, Konstantinos Papafilippou

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Arithmetical and Hyperarithmetical Worm Battles.

David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann

J. Log. Comput., 2022

Hyperarithmetical Worm Battles.

David Fernández-Duque, Konstantinos Papafilippou, Joost J. Joosten

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022