Some correspondences of principles in interpretability logic - Vuković, Mladen, matematičar (Array, 1996)