Neighborhood semantics for basic and intuitionistic logic M Moniri, FS Maleki Logic and Logical Philosophy 24 (3), 339–355-339–355, 2015 | 22 | 2015 |
Fuzzy and intuitionistic fuzzy turing machines M Moniri Fundamenta Informaticae 123 (3), 305-315, 2013 | 12 | 2013 |
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 |
Some weak fragments of HA and certain closure properties M Moniri, M Moniri The Journal of Symbolic Logic 67 (1), 91-103, 2002 | 7 | 2002 |
Preservation theorems in Lukasiewicz Model Theory SM BAGHERI, M Moniri IRANIAN JOURNAL OF FUZZY SYSTEMS 10 (3), 103-113, 2013 | 6 | 2013 |
Comparing constructive arithmetical theories based on NP-PIND and coNP-PIND M Moniri Journal of Logic and Computation 13 (6), 881-888, 2003 | 6 | 2003 |
Weak arithmetics and kripke models M Moniri Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (1), 157-160, 2002 | 4 | 2002 |
From forcing to satisfaction in Kripke models of intuitionistic predicate logic M Abiri, M Moniri, M Zaare Logic Journal of the IGPL 26 (5), 464-474, 2018 | 3 | 2018 |
Preservation theorems for Kripke models M Moniri, M Zaare Mathematical Logic Quarterly 55 (2), 177-184, 2009 | 3 | 2009 |
On the hierarchy of intuitionistic bounded arithmetic M Moniri Journal of Logic and Computation 18 (4), 625-630, 2008 | 3 | 2008 |
On two questions about feasibly constructive arithmetic M Moniri Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (4), 425-427, 2003 | 3 | 2003 |
ℋ-theories, fragments of HA and PA-normality M Moniri Archive for Mathematical Logic 41, 101-105, 2002 | 3 | 2002 |
A strongly complete axiomatization of intuitionistic temporal logic S Chopoghloo, M Moniri Journal of Logic and Computation 31 (7), 1640-1659, 2021 | 2 | 2021 |
Preservation theorems for bounded formulas M Moniri Archive for Mathematical Logic 46 (1), 9-14, 2007 | 2 | 2007 |
Independence results for weak systems of intuitionistic arithmetic M Moniri Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (3), 250-254, 2003 | 2 | 2003 |
Representation and Spacetime: The Hole Argument Revisited A Yaghmaie, B Ahmadi Kakavandi, S Masoumi, M Moniri International Studies in the Philosophy of Science 35 (2), 171-188, 2022 | 1 | 2022 |
An infinitary axiomatization of dynamic topological logic S Chopoghloo, M Moniri Logic Journal of the IGPL 30 (1), 124-142, 2022 | 1 | 2022 |
Forcing and satisfaction in Kripke models of intuitionistic arithmetic M Abiri, M Moniri, M Zaare Logic Journal of the IGPL 27 (5), 659-670, 2019 | 1 | 2019 |
Model theory of bounded arithmetic with applications to independence results M Moniri Logic in Tehran 26, 239, 2017 | 1 | 2017 |
Cuts and overspill properties in models of bounded arithmetic M Moniri, SH Sajjadi IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS (IJMSI) 8 (1), 59-66, 2013 | 1 | 2013 |