Seyed-Mohammad Bagheri

22 papers Journal 22
YearRankTypeTitle / Venue / Authors
2025 J jnl
Definability in affine logic.
Arch. Math. Log.
Seyed-Mohammad Bagheri
2024 J jnl
Extreme types and extremal models.
Ann. Pure Appl. Log.
Seyed-Mohammad Bagheri
2023 J jnl
Consistency and interpolation in linear continuous logic.
Arch. Math. Log.
Mahya Malekghasemi, Seyed-Mohammad Bagheri
2021 J jnl
The isomorphism theorem for linear fragments of continuous logic.
Math. Log. Q.
Seyed-Mohammad Bagheri
2019 J jnl
The logic of linear propositions.
Log. J. IGPL
Seyed-Mohammad Bagheri
2018 J jnl
Maximality of linear continuous logic.
Math. Log. Q.
Mahya Malekghasemi, Seyed-Mohammad Bagheri
2017 J jnl
Completeness for linear continuous logic.
J. Log. Comput.
Seyed-Mohammad Bagheri, Roghieh Safari
2014 J jnl
Linear model theory for Lipschitz structures.
Arch. Math. Log.
Seyed-Mohammad Bagheri
2014 J jnl
Preservation theorems in linear continuous logic.
Math. Log. Q.
Seyed-Mohammad Bagheri, Roghieh Safari
2014 J jnl
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.
Elham Keshavarz, Tahereh Heydari, Abolfazl Rohani, Seyed-Mohammad Bagheri
2012 J jnl
Quantified universes and ultraproducts.
Math. Log. Q.
Alireza Mofidi, Seyed-Mohammad Bagheri
2011 J jnl
Omitting Types in an Intermediate Logic.
Stud Logica
Seyed-Mohammad Bagheri, Massoud Pourmahdian
2011 J jnl
Random variables and integral logic.
Math. Log. Q.
Karim Khanaki, Seyed-Mohammad Bagheri
2010 J jnl
A Los type theorem for linear metric formulas.
Math. Log. Q.
Seyed-Mohammad Bagheri
2010 J jnl
An arithmetical view to first-order logic.
Ann. Pure Appl. Log.
Seyed-Mohammad Bagheri, Bruno Poizat, Massoud Pourmahdian
2009 J jnl
The logic of integration.
Arch. Math. Log.
Seyed-Mohammad Bagheri, Massoud Pourmahdian
2008 J jnl
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.
Log. J. IGPL
Seyed-Mohammad Bagheri, Massoud Pourmahdian
2006 J jnl
Diagram Construction in Intuitionistic Logic.
Log. J. IGPL
Seyed-Mohammad Bagheri, Massoud Pourmahdian
2006 J jnl
Some preservation theorems in an intermediate logic.
Math. Log. Q.
Seyed-Mohammad Bagheri
2003 J jnl
On translations of complete first order theories.
Math. Log. Q.
Seyed-Mohammad Bagheri
2003 J jnl
Some results on Kripke models over an arbitrary fixed frame.
Math. Log. Q.
Seyed-Mohammad Bagheri, Morteza Moniri
1999 J jnl
Ordre Fondamental D'Une Théorie 1-Basée.
J. Symb. Log.
Seyed-Mohammad Bagheri