1. Ardeshir, M., & Mojtahedi, M. (2018). The $$\Sigma _1$$-provability logic of HA. Annals of Pure and Applied Logic, 169(10), 997–1043.
2. Areces, C., Hoogland, E., & de Jongh, D. (1998). Interpolation, definability and fixed points in interpretability logics. Advances in Modal Logic, 2, 35–58.
3. Artemov, S., & Beklemishev, L. (2004). Provability logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 13, pp. 229–403). Springer.
4. Berarducci, A. (1990). The interpretability logic of Peano arithmetic. The Journal of Symbolic Logic, 55, 1059–1089.
5. Bernardi, C. (1976). The uniqueness of the fixed-point in every diagonalizable algebra. Studia Logica, 35(4), 335–343.