1.	M. Moniri (Joint with S. H. Sajjadi) Regular cuts in models of bounded arithmetic Bull. Sect. Logic Univ. Łodz (Accepted) [abstract]

2.	Mor. Moniri Fuzzy and intuitionistic fuzzy Turing machines Fundamenta Informaticae 123 (2013), 305-315  [abstract]

3.	Mor. Moniri (Joint with H. Farahani and R. A. Borzooei) Logical characterization of filters on BL-algebras J. of Mult.-Valued Logic and Soft Computing (Accepted) [abstract]

4.	Mor. Moniri Preservation theorems for bounded formulas Arch. Math. Logic 46 (2007), 9-14  [abstract]

5.	Mor. Moniri Model theory of bounded arithmetic with applications to independence results Lect. Notes Log. 26 (2006), 239-247  [abstract]

6.	Mor. Moniri Polynomial induction and length minimization in intuitionistic bounded arithmetic Math. Logic Quart. 51 (2005), 73-76  [abstract]

7.	Mor. Moniri Corrigendum to: "weak arithmetics and Kripke models" Math. Logic Quart. 50 (2004), 637-638  [abstract]

8.	Mor. Moniri Comparing constructive arithmetical theories based on NP-PIND and coNP-PIND J. Logic Comput. 13 (2003), 881-888  [abstract]

9.	S. M. Bagheri and Mor. Moniri Some results on Kripke models over an arbitrary fixed frame Math. Logic Quart. 49 (2003), 479-484  [abstract]    MR 1998080

10.	Mor. Moniri Intuitionistic weak arithmetic Arch. Math. Logic 42 (2003), 791-796  [abstract]

11.	Mor. Moniri On two questions about feasibly Constructive Arithmetic Math. Logic Quart. 49 (2003), 425-427  [abstract]    MR 2004g:03100

12.	Mor. Moniri Independence results for weak systems of intuitionistic arithmetic Math. Logic Quart. 49 (2003), 250-254  [abstract]    MR 2004d:03129

13.	Mor. Moniri Weak arithmetics and Kripke models Math. Logic Quart. 48 (2002), 157--160  [abstract]    MR 2002m:03092

14.	Mor. Moniri and Moj. Moniri Some weak fragments of HA and certain closure properties J. Symbolic Logic 67 (2002), 91-103  [abstract]

15.	Mor. Moniri H-theories, fragments of HA and PA-normality Arch. Math. Logic 41 (2002), 101-105  [abstract]