Seyed Mohammad Bagheri

Orcid: 0000-0002-9142-0013

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Extreme types and extremal models.
Ann. Pure Appl. Log., 2024

2023
Consistency and interpolation in linear continuous logic.
Arch. Math. Log., November, 2023

2021
The isomorphism theorem for linear fragments of continuous logic.
Math. Log. Q., 2021

2019
The logic of linear propositions.
Log. J. IGPL, 2019

2018
Maximality of linear continuous logic.
Math. Log. Q., 2018

2017
Completeness for linear continuous logic.
J. Log. Comput., 2017

2014
Preservation theorems in linear continuous logic.
Math. Log. Q., 2014

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., 2014

Linear model theory for Lipschitz structures.
Arch. Math. Log., 2014

2012
Quantified universes and ultraproducts.
Math. Log. Q., 2012

2011
Omitting Types in an Intermediate Logic.
Stud Logica, 2011

Random variables and integral logic.
Math. Log. Q., 2011

2010
A Los type theorem for linear metric formulas.
Math. Log. Q., 2010

An arithmetical view to first-order logic.
Ann. Pure Appl. Log., 2010

2009
The logic of integration.
Arch. Math. Log., 2009

2008
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.
Log. J. IGPL, 2008

2006
Some preservation theorems in an intermediate logic.
Math. Log. Q., 2006

Diagram Construction in Intuitionistic Logic.
Log. J. IGPL, 2006

2003
Some results on Kripke models over an arbitrary fixed frame.
Math. Log. Q., 2003

On translations of complete first order theories.
Math. Log. Q., 2003

1999
Ordre Fondamental D'Une Théorie 1-Basée.
J. Symb. Log., 1999


  Loading...