약한 K4 및 차이 논리에 대한 보간자 존재 문제

약한 K4와 차이 논리는 Craig 보간 속성을 가지지 않는다. 이 논문에서는 주어진 함축이 이러한 논리에서 보간자를 가지는지 여부를 결정하는 문제를 다룬다.