Seyed-Mohammad Bagheri

According to our database, Seyed-Mohammad Bagheri authored at least 21 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Extreme types and extremal models.

Seyed-Mohammad Bagheri

Ann. Pure Appl. Log., 2024

2023

Consistency and interpolation in linear continuous logic.

Mahya Malekghasemi, Seyed-Mohammad Bagheri

Arch. Math. Log., November, 2023

2021

The isomorphism theorem for linear fragments of continuous logic.

Seyed-Mohammad Bagheri

Math. Log. Q., 2021

2019

The logic of linear propositions.

Seyed-Mohammad Bagheri

Log. J. IGPL, 2019

2018

Maximality of linear continuous logic.

Mahya Malekghasemi, Seyed-Mohammad Bagheri

Math. Log. Q., 2018

2017

Completeness for linear continuous logic.

Seyed-Mohammad Bagheri, Roghieh Safari

J. Log. Comput., 2017

2014

Preservation theorems in linear continuous logic.

Seyed-Mohammad Bagheri, Roghieh Safari

Math. Log. Q., 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

Linear model theory for Lipschitz structures.

Seyed-Mohammad Bagheri

Arch. Math. Log., 2014

2012

Quantified universes and ultraproducts.

Alireza Mofidi, Seyed-Mohammad Bagheri

Math. Log. Q., 2012

2011

Omitting Types in an Intermediate Logic.

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Stud Logica, 2011

Random variables and integral logic.

Karim Khanaki, Seyed-Mohammad Bagheri

Math. Log. Q., 2011

2010

A Los type theorem for linear metric formulas.

Seyed-Mohammad Bagheri

Math. Log. Q., 2010

An arithmetical view to first-order logic.

Seyed-Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian

Ann. Pure Appl. Log., 2010

2009

The logic of integration.

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Arch. Math. Log., 2009

2008

Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Log. J. IGPL, 2008

2006

Some preservation theorems in an intermediate logic.

Seyed-Mohammad Bagheri

Math. Log. Q., 2006

Diagram Construction in Intuitionistic Logic.

Seyed-Mohammad Bagheri, Massoud Pourmahdian

Log. J. IGPL, 2006

2003

Some results on Kripke models over an arbitrary fixed frame.

Seyed-Mohammad Bagheri, Morteza Moniri

Math. Log. Q., 2003

On translations of complete first order theories.

Seyed-Mohammad Bagheri

Math. Log. Q., 2003

1999

Ordre Fondamental D'Une Théorie 1-Basée.

Seyed-Mohammad Bagheri

J. Symb. Log., 1999