Smooth Classes without AC and Robinson Theories. - Massoud Pourmahdian (J. Symb. Log., 2002)

The stable forking conjecture and generic structures. - Massoud Pourmahdian (Arch. Math. Log., 2003)

Simple generic structures. - Massoud Pourmahdian (Ann. Pure Appl. Log., 2003)

The Stable Forking Conjecture in Homogeneous Model Theory. - Massoud Pourmahdian (Log. J. IGPL, 2004)

Diagram Construction in Intuitionistic Logic. - Seyed Mohammad Bagheri; Massoud Pourmahdian (Log. J. IGPL, 2006)

Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. - Seyed Mohammad Bagheri; Massoud Pourmahdian (Log. J. IGPL, 2008)

The logic of integration. - Seyed Mohammad Bagheri; Massoud Pourmahdian (Arch. Math. Log., 2009)

The space of formal balls and models of quasi-metric spaces. - M. Ali-Akbari; Bijan Honari; Massoud Pourmahdian; M. M. Rezaii (Math. Struct. Comput. Sci., 2009)

An arithmetical view to first-order logic. - Seyed Mohammad Bagheri; Bruno Poizat; Massoud Pourmahdian (Ann. Pure Appl. Log., 2010)

Effectiveness in RPL, with applications to continuous logic. - Farzad Didehvar; Kaveh Ghasemloo; Massoud Pourmahdian (Ann. Pure Appl. Log., 2010)

Computational Models of Certain Hyperspaces of Quasi-metric Spaces - Mahdi Aliakbari; Massoud Pourmahdian (Log. Methods Comput. Sci., 2011)

Omitting Types in an Intermediate Logic. - Seyed Mohammad Bagheri; Massoud Pourmahdian (Stud Logica, 2011)

Compactness in first order Łukasiewicz logic. - Nazanin Tavana; Massoud Pourmahdian; Farzad Didehvar (Log. J. IGPL, 2012)

Compactness in first-order Gödel logics. - Massoud Pourmahdian; Nazanin Tavana (J. Log. Comput., 2013)

Effective metric model theory. - Massoud Pourmahdian; Nazanin Tavana; Farzad Didehvar (Math. Struct. Comput. Sci., 2015)

The definable tree property for successors of cardinals. - Ali Sadegh Daghighi; Massoud Pourmahdian (Arch. Math. Log., 2016)

From rational Gödel logic to ultrametric logic. - Seyed Amin Khatami; Massoud Pourmahdian; Nazanin Roshandel Tavana (J. Log. Comput., 2016)

Preface. - Ali Enayat; Massoud Pourmahdian; Ralf Schindler (Arch. Math. Log., 2018)

First-Order Modal Logic: Frame Definability and a Lindström Theorem. - R. Zoghifard; Massoud Pourmahdian (Stud Logica, 2018)

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. - Sharar Ahmadi; Mehran S. Fallah; Massoud Pourmahdian (Informatica (Slovenia), 2019)

Pseudofiniteness in Hrushovski Constructions. - Ali Valizadeh; Massoud Pourmahdian (Notre Dame J. Formal Log., 2020)

Probability logic: A model-theoretic perspective. - Massoud Pourmahdian; R. Zoghifard (J. Log. Comput., 2021)

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

The Craig interpolation property in first-order Gödel logic. - Nazanin Tavana; Massoud Pourmahdian; Seyed Amin Khatami (Fuzzy Sets Syst., 2024)