시간 이웃 추가로 인한 접두사 및 부분 구간 논리의 EXPSPACE-완전성

시간 이웃 모달리티 A를 BDhom 논리에 추가하면 표현력과 복잡성이 모두 증가하여 결과적으로 BDAhom 논리의 만족 가능성 문제가 EXPSPACE-완전이 된다.