Seyed Mohammad Bagheri

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 2

Top Topics

Statistical Models

Linear Filtering

Programming Language

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Int. J. Bus. Inf. Syst.

Publications

Seyed Mohammad Bagheri
Extreme types and extremal models. Ann. Pure Appl. Log. 175 (7) (2024)
Mahya Malekghasemi, Seyed Mohammad Bagheri
Consistency and interpolation in linear continuous logic. Arch. Math. Log. 62 (7-8) (2023)
Elham Keshavarz, Tahereh Heydari, Abolfazl Rohani, Seyed Mohammad Bagheri
Using fuzzy AHP and fuzzy TOPSIS methods for prioritisation of technological competencies to maximise the financial and non-financial performance. Int. J. Bus. Inf. Syst. 16 (3) (2014)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Omitting Types in an Intermediate Logic. Stud Logica 97 (3) (2011)
Seyed Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian
An arithmetical view to first-order logic. Ann. Pure Appl. Log. 161 (6) (2010)
Seyed Mohammad Bagheri, Massoud Pourmahdian
The logic of integration. Arch. Math. Log. 48 (5) (2009)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics. Log. J. IGPL 16 (6) (2008)
Seyed Mohammad Bagheri
Some preservation theorems in an intermediate logic. Math. Log. Q. 52 (2) (2006)
Seyed Mohammad Bagheri, Massoud Pourmahdian
Diagram Construction in Intuitionistic Logic. Log. J. IGPL 14 (6) (2006)
Seyed Mohammad Bagheri
On translations of complete first order theories. Math. Log. Q. 49 (1) (2003)
Seyed Mohammad Bagheri, Morteza Moniri
Some results on Kripke models over an arbitrary fixed frame. Math. Log. Q. 49 (5) (2003)
Seyed Mohammad Bagheri
Ordre Fondamental D'Une Théorie 1-Basée. J. Symb. Log. 64 (4) (1999)