Dick de Jongh on intuitionistic and provability logics - Bezhanishvili, Nick; Iemhoff, Rosalie; Yang, Fan (Springer, 2024)