접두사 및 부분 구간 논리

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