Intermediate Logics and the de Jongh Property
Dick de Jongh, Rineke Verbrugge, Albert Visser

Abstract:
We prove that all extensions of Heyting Arithmetic with a logic
that has the finite frame property possess the de Jongh property.