Seyed Mohammad Bagheri

According to our database, Seyed Mohammad Bagheri authored at least 20 papers between 1999 and 2023.

Collaborative distances:

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

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