1. Areces, C., E. Hoogland, and D. de Jongh, Interpolation, definability and fixed points in interpretability logics, in M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, (eds.), Advances in Modal Logic, Vol. 2, vol. 119 of CSLI Lecture Notes, CSLI Publication, Stanford, CA, 2001, pp. 35–58.
2. De Jongh, D., and F. Veltman, Provability logics for relative interpretability, in P.P. Petkov, (ed.), Mathematical Logic, Plenum Press, New York, 1990, pp. 31–42.
3. De Jongh, D., and A. Visser, Explicit fixed points in interpretability logic, Studia Logica 50(1): 39–49, 1991.
4. De Rijke, M., Unary interpretability logic, Notre Dame Journal of Formal Logic 33(2):249–272, 1992.
5. Feferman, S., Arithmetization of metmathematics in a general setting, Fundamenta Mathematicae 49:35–92, 1960.