Linnk AI 다운로드
•
자율 연구 보조원
>
로그인
통찰
-
양상 논리와 탐구 명제 논리의 모델 체크 문제
양상 논리와 탐구 명제 논리의 모델 체크 문제의 복잡성
이 논문은 양상 논리 InqM과 탐구 명제 논리 InqB의 모델 체크 문제가 PSPACE-완전하다는 것을 보여준다.
1