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 |
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 |
Extensions of Kripke models M Zaare Logic Journal of the IGPL 25 (5), 697-699, 2017 | 1 | 2017 |
Homomorphisms and chains of Kripke models M Moniri, M Zaare Archive for Mathematical Logic 50, 431-443, 2011 | 1 | 2011 |
Intuitionistic analogues of the Łos-Tarski Theorem M Zaare | | 2020 |
Baha: Binary Artificial Hummingbird Algorithm for Feature Selection A Hamdipour, A Basiri, M Zaare, S Mirjalili Available at SSRN 4519771, 0 | | |