양적 명제 논리 InqB와 양상 논리 InqM의 모델 체킹 문제는 PSPACE-완전하다.
양적 명제 논리 InqB와 양상 논리 InqM에 대한 모델 체킹 문제는 PSPACE-완전하다.
