A Lindström theorem for intuitionistic first-order logic. - Grigory K. Olkhovikov; Guillermo Badia; Reihane Zoghifard (Ann. Pure Appl. Log., 2023)

The Goldblatt-Thomason Theorem for Derivative Spaces. - Nick Bezhanishvili; David Fernández-Duque; Reihane Zoghifard (AiML, 2024)

Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. - Mohammad Golshani; Reihane Zoghifard (J. Symb. Log., 2024)