Follow
mojtaba mojtahedi
Title
Cited by
Cited by
Year
The Σ1-provability logic of HA
M Ardeshir, M Mojtahedi
Annals of Pure and Applied Logic 169 (10), 997-1043, 2018
292018
Reduction of provability logics to Σ1-provability logics
M Ardeshir, SM Mojtahedi
Logic Journal of the IGPL 23 (5), 842-847, 2015
112015
The de Jongh property for basic arithmetic
M Ardeshir, SM Mojtahedi
Archive for Mathematical Logic 53, 881-895, 2014
112014
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
52022
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
42022
Unification types in Euclidean modal logics
M Alizadeh, M Ardeshir, P Balbiani, M Mojtahedi
Logic Journal of the IGPL 31 (3), 422-440, 2023
32023
Hard provability logics
M Mojtahedi
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad …, 2021
32021
Localizing finite-depth Kripke models
M Mojtahedi
Logic Journal of the IGPL 27 (3), 239-251, 2019
32019
Relative Unification in Intuitionistic Logic: Towards provability logic of HA
M Mojtahedi
arXiv preprint arXiv:2206.00446, 2022
22022
The Σ1-Provability Logic of HA Revisited
M Mojtahedi
Submitted, 2022
12022
THE ${\text {\Sigma}} _1 $-PROVABILITY LOGIC OF $ HA^{\text {*}} $.
M ARDESHIR, M MOJTAHEDI
Journal of Symbolic Logic 84 (3), 2019
12019
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
On provability logic of HA (continuation)
M Mojtahedi
Reflection and Induction for subsystems of HA
M Mojtahedi, F Pakhomov, P Provenzano, A Visser
The Proof Society Summer School and Workshop 2023, 0
The system can't perform the operation now. Try again later.
Articles 1–20