1. Ardeshir, M., and M. Mojtahedi, “The -provability logic of HA,” Annals of Pure and Applied Logic, vol. 169 (2018), pp. 997–1043.
2. Avron, A., “On modal systems having arithmetical interpretations,” Journal of Symbolic Logic, vol. 49 (1984), pp. 935–42.
3. Bílková, M., “Interpolation in modal logics,” PhD dissertation, Univerzita Karlova, Prague, 2006.
4. Boolos, G., The Unprovability of Consistency: An Essay in Modal Logic, reprint of the 1979 edition, Cambridge University Press, Cambridge, 2008.
5. Dershowitz, N., and Z. Manna, “Proving termination with multiset orderings,” Communications of the Association for Computing Machinery, vol. 22 (1979), pp. 465–76.