The logic of integration SM Bagheri, M Pourmahdian Archive for Mathematical Logic 48, 465-492, 2009 | 16 | 2009 |
Some results on Kripke models over an arbitrary fixed frame SM Bagheri, M Moniri Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (5), 479-484, 2003 | 11 | 2003 |
Linear model theory for Lipschitz structures SM Bagheri Archive for Mathematical Logic 53, 897-927, 2014 | 7 | 2014 |
Categoricity and quantifier elimination for intuitionistic theories SM Bagheri Logic in Tehran 26, 23-41, 2017 | 6 | 2017 |
Preservation theorems in Lukasiewicz Model Theory SM BAGHERI, M Moniri IRANIAN JOURNAL OF FUZZY SYSTEMS 10 (3), 103-113, 2013 | 6 | 2013 |
A Łoś type theorem for linear metric formulas SM Bagheri Mathematical Logic Quarterly 56 (1), 78-84, 2010 | 6 | 2010 |
Preservation theorems in linear continuous logic SM Bagheri, R Safari Mathematical Logic Quarterly 60 (3), 168-176, 2014 | 5 | 2014 |
Quantified universes and ultraproducts A Mofidi, SM Bagheri Mathematical Logic Quarterly 58 (1‐2), 63-74, 2012 | 4 | 2012 |
Random variables and integral logic K Khanaki, SM Bagheri Mathematical Logic Quarterly 57 (5), 494-503, 2011 | 4 | 2011 |
On the ultramean construction M Bagheri نشریه علوم ریاضی و انفورماتیک 9 (2), 109-119, 2014 | 3 | 2014 |
Some preservation theorems in an intermediate logic SM Bagheri Mathematical Logic Quarterly 52 (2), 125-133, 2006 | 3 | 2006 |
The isomorphism theorem for linear fragments of continuous logic SM Bagheri Mathematical Logic Quarterly 67 (2), 193-205, 2021 | 2 | 2021 |
Omitting types in an intermediate logic SM Bagheri, M Pourmahdian Studia Logica, 319-328, 2011 | 2 | 2011 |
Extreme types and extremal models SM Bagheri arXiv preprint arXiv:2401.07804, 2024 | 1 | 2024 |
Diagram construction in intuitionistic logic SM Bagheri, M Pourmahdian Logic Journal of the IGPL 14 (6), 889-901, 2006 | 1 | 2006 |
On translations of complete first order theories. SM Bagheri Mathematical Logic Quarterly 49 (1), 2003 | 1 | 2003 |
Definability in affine continuous logic SM Bagheri arXiv preprint arXiv:2401.07714, 2024 | | 2024 |
Consistency and interpolation in linear continuous logic M Malekghasemi, SM Bagheri Archive for Mathematical Logic 62 (7-8), 931-939, 2023 | | 2023 |
Linear Formulas in Continuous Logic SM Bagheri, F Fadai Iranian Journal of Mathematical Sciences and Informatics 17 (2), 75-86, 2022 | | 2022 |
The logic of linear propositions SM Bagheri Logic Journal of the IGPL 27 (6), 836-846, 2019 | | 2019 |