A strongly complete axiomatization of intuitionistic temporal logic. - Somayeh Chopoghloo; Morteza Moniri (J. Log. Comput., 2021)

An infinitary axiomatization of dynamic topological logic. - Somayeh Chopoghloo; Morteza Moniri (Log. J. IGPL, 2022)

Dynamic Probability Logic: Decidability & Computability. - Somayeh Chopoghloo; Mahdi Heidarpoor; Massoud Pourmahdian (CoRR, 2024)