Reihane Zoghifard

Probability logic: A model-theoretic perspective

Massoud Pourmahdian, Reihane Zoghifard, M. Pourmahdian, 2018, J. Log. Comput..

Completeness of the G\"odel-L\"ob provability logic for the filter sequence of normal measures

Mohammad Golshani, Reihane Zoghifard, 2021 .

A Lindstr\"om theorem for intuitionistic first-order logic

Guillermo Badia, Reihane Zoghifard, Grigory Olkhovikov, 2021 .

First-Order Modal Logic: Frame Definability and Lindstr\"om Theorems

Massoud Pourmahdian, Reihane Zoghifard, 2016 .