양상 논리와 탐구 명제 논리의 모델 체크 문제의 복잡성

이 논문은 양상 논리 InqM과 탐구 명제 논리 InqB의 모델 체크 문제가 PSPACE-완전하다는 것을 보여준다.