تحصیلات

1. دکتری, 1394, ریاضی, صنعتی شریف
2. کارشناسی ارشد, 1392, ریاضی محض, صنعتی شریف
3. کارشناسی, 1392, ریاضی, صنعتی شریف

فصلی از کتاب

1. Seyed Mojtaba Mojtahedi. "Mathematics, Logic and Their Philosophies." : Springer, 2021.

کتاب های غیر از تالیف و ترجمه

1. Seyed Mojtaba Mojtahedi, and Sheik Shahidur Rahman. "Mathematics, Logic and Their Philosophies: Essays in Honour of Mohammad Ardeshir." : Springer, 2021.

مقالات چاپ شده در نشریات بین‌المللی

1. Seyed Mojtaba Mojtahedi, and . "Completeness of intermediate logics with doubly negated axioms." MATHEMATICAL LOGIC QUARTERLY 60, no. 1-2 (2013): 6-11.
2. Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "The de Jongh property for Basic Arithmetic." ARCHIVE FOR MATHEMATICAL LOGIC 53, no. 7-8 (2014): 881-895.
3. Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "Reduction of provability logics to Σ1-provability logics." Logic Journal of the IGPL 23, no. 5 (2015): 842-847.
4. Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "The Σ 1 -provability logic of HA." ANNALS OF PURE AND APPLIED LOGIC 169, no. 10 (2018): 997-1043.
5. Seyed Mojtaba Mojtahedi. "Localizing finite-depth Kripke models." Logic Journal of the IGPL 27, no. 2 (2018): 137-148.
6. Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "THE $\Sigma_1$-PROVABILITY LOGIC OF HA*." JOURNAL OF SYMBOLIC LOGIC 84, no. 3 (2019): 1118-1135.
7. Philippe Balbiani, and Seyed Mojtaba Mojtahedi. "Unification with parameters in the implication fragment of classical propositional logic." Logic Journal of the IGPL 1, no. 1 (2021): 1.

همایش‌های بین‌المللی

1. Seyed Mojtaba Mojtahedi. "The Preservativity Logic." Various Aspects of Modality, Isfahan.
2. Seyed Mojtaba Mojtahedi. "Intuitionistic modal logic: Aspects of Provability." Workshop on Modal Logic and its Application in Computer Science, Tehran.
3. Majid Alizadeh, Philippe Balbiani, Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "About the unification type of modal logic K5 and its extensions." UNIF 2021 - 35th International Workshop on Unification, Buenos Aires.
4. سید مجتبی مجتهدی. "موضعی‌سازیِ مدل‌های کریپکی با عمق متناهی." پنجمین سمینار سالانه‌ی انجمن منطق ایران، تهران.
5. سید مجتبی مجتهدی. "منطق‌های اثبات‌پذیری سخت." هفتمین همایش سالانه‌ی انجمن منطق ایران، تهران.