1. de Almeida Borges, A., de Jongh, D., Joosten, J. J., & Visser, A. (2022). The strictly positive fragment of provability logic for Heyting arithmetic.
2. Angluin, D. (1980). Inductive inference of formal languages from positive data. Information and Control, 45, 117–135.
3. Ardeshir, M., & Mojtahedi, M. (2014). The de Jongh property for Basic Arithmetic. Archive for Mathematical Logic, 53, 881–895.
4. Ardeshir, M., & Mojtahedi, M. (2018). The $$\Sigma _1$$-provability logic of HA. Annals of Pure and Applied Logic, 169(10), 997–1043.
5. Areces, C., Hoogland, E., & de Jongh, D. (2000). 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. 53–76). CSLI Publications.