Publisher
Springer International Publishing
Reference28 articles.
1. Ardeshir, M., & Mojtahedi, M. (2014). The de Jongh property for basic arithmetic. Archive for Mathematical Logic, 53(7–8), 881–895.
2. Ardeshir, M., & Mojtahedi, M. (2015). Reduction of provability logics to $$\Sigma _1$$-provability logics. Logic Journal of IGPL, 23(5), 842–847.
3. Ardeshir, M., & Mojtahedi, M. (2018). The $$\Sigma _1$$-provability logic of $${ HA}$$. Annals of Pure and Applied Logic, 169(10), 997–1043.
4. Ardeshir, M., & Mojtahedi, M. (2019). The $$\Sigma _1$$-Provability Logic of $${ HA}^*$$. Jornal of Symbolic Logic, 84(3), 118–1135.
5. Artemov, S., & Beklemishev, L. (2004). Provability logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 13, pp. 189–360). Berlin: Springer.