Choice-Free de Vries Duality. - Guillaume Massas (AiML, 2022)

B-frame duality. - Guillaume Massas (Ann. Pure Appl. Log., 2023)

Bolzano's Mathematical Infinite. - Anna Bellomo; Guillaume Massas (Rev. Symb. Log., 2023)

Goldblatt-Thomason Theorems for Fundamental (Modal) Logic. - Guillaume Massas (AiML, 2024)

Constructive Quantum Logics. - Juan P. Aguilera 001; Guillaume Massas (CoRR, 2025)