Projective unification through duality. - Philippe Balbiani; Quentin Gougeon (AiML, 2022)

Fixed Point Logics on Hemimetric Spaces. - David Fernández-Duque; Quentin Gougeon (LICS, 2023)

Some completeness results in derivational modal logic. - Quentin Gougeon (J. Log. Comput., 2024)

Fixed point logics and definable topological properties. - David Fernández-Duque; Quentin Gougeon (Math. Struct. Comput. Sci., 2024)

Projective relative unification through duality. - Philippe Balbiani; Quentin Gougeon (J. Log. Comput., 2025)

Computing most general unifiers in Euclidean modal logics. - Quentin Gougeon (J. Log. Comput., 2025)