Publisher
Springer International Publishing
Reference27 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. (2018). The $$\Sigma _1$$-provability logic of $${ HA}$$. Annals of Pure and Applied Logic, 169(10), 997–1043.
3. Ardeshir, M., & Mojtahedi, M. (2019). The $$\Sigma _1$$-provability logic of $${ HA}^*$$. Jornal of Symbolic Logic, 84(3), 118–1135.
4. Artemov, S., & Beklemishev, L. (2004). Provability logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, 2nd Edn. (Vol. 13, pp. 189–360) Springer.
5. Beklemishev, L., & Visser, A. (2006). Problems in the logic of provability. In Mathematical problems from applied logic. I, volume 4 of international series of numerical mathematics (N. Y.) (pp. 77–136). Springer.