Unification with parameters in the implication fragment of classical propositional logic. - Philippe Balbiani; Mojtaba Mojtahedi (Log. J. IGPL, 2022)

Unification types in Euclidean modal logics. - Majid Alizadeh; Mohammad Ardeshir; Philippe Balbiani; Mojtaba Mojtahedi (Log. J. IGPL, 2023)

Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. - Mojtaba Mojtahedi; Konstantinos Papafilippou (AiML, 2024)