1. Areces, C., Hoogland, E., & de Jongh, D. H. J. (2001). Interpolation, definability and fixed-points in interpretability logics. In M. Zakharyaschev, K. Segerberg, M. de Rijke & H. Wansing (Eds.), Advances in modal logic, (Vol. 2, pp. 35–58). CSLI.
2. Bennet, C. (1986). On some orderings of extensions of arithmetic. Department of Philosophy, University of Göteborg.
3. van Benthem, J. (1983). Modal logic and classical logic. Bibliopolis.
4. van Benthem, J. (1984). Correspondence theory. In F. Guenthner & D. Gabbay (Eds.), Handbook of philosophical logic (pp. 167–247). Springer.
5. Berarducci, A. (1990). The interpretability logic of peano arithmetic. The Journal of Symbolic Logic, 55(3), 1059–1089.