Ordre Fondamental D'Une Théorie 1-Basée. - Seyed-Mohammad Bagheri (J. Symb. Log., 1999)

On translations of complete first order theories. - Seyed-Mohammad Bagheri (Math. Log. Q., 2003)

Some results on Kripke models over an arbitrary fixed frame. - Seyed-Mohammad Bagheri; Morteza Moniri (Math. Log. Q., 2003)

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

Some preservation theorems in an intermediate logic. - Seyed-Mohammad Bagheri (Math. Log. Q., 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)

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

A Los type theorem for linear metric formulas. - Seyed-Mohammad Bagheri (Math. Log. Q., 2010)

Random variables and integral logic. - Karim Khanaki; Seyed-Mohammad Bagheri (Math. Log. Q., 2011)

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

Quantified universes and ultraproducts. - Alireza Mofidi; Seyed-Mohammad Bagheri (Math. Log. Q., 2012)

Linear model theory for Lipschitz structures. - Seyed-Mohammad Bagheri (Arch. Math. Log., 2014)

Using fuzzy AHP and fuzzy TOPSIS methods for prioritisation of technological competencies to maximise the financial and non-financial performance. - Elham Keshavarz; Tahereh Heydari; Abolfazl Rohani; Seyed-Mohammad Bagheri (Int. J. Bus. Inf. Syst., 2014)

Preservation theorems in linear continuous logic. - Seyed-Mohammad Bagheri; Roghieh Safari (Math. Log. Q., 2014)

Completeness for linear continuous logic. - Seyed-Mohammad Bagheri; Roghieh Safari (J. Log. Comput., 2017)

Maximality of linear continuous logic. - Mahya Malekghasemi; Seyed-Mohammad Bagheri (Math. Log. Q., 2018)

The logic of linear propositions. - Seyed-Mohammad Bagheri (Log. J. IGPL, 2019)

The isomorphism theorem for linear fragments of continuous logic. - Seyed-Mohammad Bagheri (Math. Log. Q., 2021)

Consistency and interpolation in linear continuous logic. - Mahya Malekghasemi; Seyed-Mohammad Bagheri (Arch. Math. Log., 2023)

Extreme types and extremal models. - Seyed-Mohammad Bagheri (Ann. Pure Appl. Log., 2024)