کتاب های غیر از تالیف و ترجمه
مقالات چاپ شده در نشریات بینالمللی
- Seyed Mojtaba Mojtahedi, and . "Completeness of intermediate logics with doubly negated axioms." MATHEMATICAL LOGIC QUARTERLY 60, no. 1-2 (2013): 6-11.
- Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "The de Jongh property for Basic Arithmetic." ARCHIVE FOR MATHEMATICAL LOGIC 53, no. 7-8 (2014): 881-895.
- 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.
- Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "The Σ 1 -provability logic of HA." ANNALS OF PURE AND APPLIED LOGIC 169, no. 10 (2018): 997-1043.
- Seyed Mojtaba Mojtahedi. "Localizing finite-depth Kripke models." Logic Journal of the IGPL 27, no. 2 (2018): 137-148.
- Mohammad Ardeshir, and Seyed Mojtaba Mojtahedi. "THE $\Sigma_1$-PROVABILITY LOGIC OF HA*." JOURNAL OF SYMBOLIC LOGIC 84, no. 3 (2019): 1118-1135.
- 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.
