1. Artemov, S. N., Numerically correct logics of provability (in Russian), Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986.
2. Berarducci, A., $$\Sigma ^0_n$$-interpretations of modal logic, Bollettino dell’Unione Matematica Italiana, Serie 7, 3(A):177–184, 1989.
3. Boolos, G., The unprovability of consistency. An essay in modal logic, Cambridge University Press, Cambridge, 1979.
4. Boolos. G., The Logic of Provability. Cambridge University Press, Cambridge, 1993.
5. de Jonge, M., Vardanyan’s theorem for extensions of $$\mathbf{I}{\varvec {\Sigma }}_{{\bf 1}}$$. Logic Group Preprint Series 241, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, https://dspace.library.uu.nl/handle/1874/26753, 2005.