Quentin Gougeon

According to our database, Quentin Gougeon authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

Computing most general unifiers in Euclidean modal logics.

Quentin Gougeon

J. Log. Comput., 2025

Projective relative unification through duality.

Philippe Balbiani, Quentin Gougeon

J. Log. Comput., 2025

2024

Fixed point logics and definable topological properties.

David Fernández-Duque, Quentin Gougeon

Math. Struct. Comput. Sci., 2024

Some completeness results in derivational modal logic.

Quentin Gougeon

J. Log. Comput., 2024

2023

Fixed Point Logics on Hemimetric Spaces.

David Fernández-Duque, Quentin Gougeon

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Projective unification through duality.

Philippe Balbiani, Quentin Gougeon

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022