The Σ1-provability logic of HA M Ardeshir, M Mojtahedi Annals of Pure and Applied Logic 169 (10), 997-1043, 2018 | 28 | 2018 |
Reduction of provability logics to Σ1-provability logics M Ardeshir, SM Mojtahedi Logic Journal of the IGPL 23 (5), 842-847, 2015 | 11 | 2015 |
The de Jongh property for basic arithmetic M Ardeshir, SM Mojtahedi Archive for Mathematical Logic 53, 881-895, 2014 | 11 | 2014 |
The-provability logic of M Ardeshir, M Mojtahedi The Journal of Symbolic Logic 84 (3), 1118-1135, 2019 | 7* | 2019 |
On provability logic of HA M Mojtahedi arXiv preprint arXiv:2206.00445, 2022 | 5 | 2022 |
Unification with parameters in the implication fragment of classical propositional logic P Balbiani, M Mojtahedi Logic Journal of the IGPL 30 (3), 454-464, 2022 | 4 | 2022 |
Unification types in Euclidean modal logics M Alizadeh, M Ardeshir, P Balbiani, M Mojtahedi Logic Journal of the IGPL 31 (3), 422-440, 2023 | 3 | 2023 |
Hard provability logics M Mojtahedi Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad …, 2021 | 3 | 2021 |
Localizing finite-depth Kripke models M Mojtahedi Logic Journal of the IGPL 27 (3), 239-251, 2019 | 3 | 2019 |
Relative Unification in Intuitionistic Logic: Towards provability logic of HA M Mojtahedi arXiv preprint arXiv:2206.00446, 2022 | 2 | 2022 |
The Σ1-Provability Logic of HA Revisited M Mojtahedi Submitted, 2022 | 1 | 2022 |
THE ${\text {\Sigma}} _1 $-PROVABILITY LOGIC OF $ HA^{\text {*}} $. M ARDESHIR, M MOJTAHEDI Journal of Symbolic Logic 84 (3), 2019 | 1 | 2019 |
Projectivity meets Uniform Post Interpolant: Classical and Intuitionistic Logic M Mojtahedi, K Papafilippou arXiv preprint arXiv:2403.19525, 2024 | | 2024 |
About the unification type of modal logic K5 and its extensions M Alizadeh, M Ardeshir, P Balbiani, M Mojtahedi | | 2021 |
Distributive lattices with operators, 93, 94 M Mojtahedi Mathematics, Logic, and their Philosophies 230, 481, 2021 | | 2021 |
Mathematics, Logic, and their Philosophies M Mojtahedi, S Rahman, MS Zarepour Springer International Publishing, 2021 | | 2021 |
A gentle introduction to unification in modal logics P Balbiani, C Gencer, M Mojtahedi, M Rostamigiv, T Tinchev 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), 2019 | | 2019 |
Completeness of intermediate logics with doubly negated axioms M Ardeshir, SM Mojtahedi Mathematical Logic Quarterly 60 (1-2), 6-11, 2014 | | 2014 |
Reflection and Induction for subsystems of HA M Mojtahedi, F Pakhomov, P Provenzano, A Visser The Proof Society Summer School and Workshop 2023, 0 | | |
Books of Essays M Mojtahedi, S Rahman, MS Zarepour | | |