본 논문에서는 모든 명제 논리 계획 문제를 단일한 "범용" PDDL 도메인의 인스턴스로 표현할 수 있음을 보여주지만, 이러한 표현은 문제의 크기를 잠재적으로 기하급수적으로 증가시키는 grounding을 필요로 하기 때문에 실용적이지 않을 수 있음을 주장합니다.
쿠로다의 변환은 고차 논리에서도 성립하며, 함수적 확장성과 명제적 확장성 하에서 원래 공식과 변환된 공식이 고전적으로 동치임을 보여준다.
