Baixe o Linnk AI
•
Assistente de Pesquisa Autônomo
>
Entrar
insight
-
양상 논리와 탐구 명제 논리의 모델 체크 문제
양상 논리와 탐구 명제 논리의 모델 체크 문제의 복잡성
이 논문은 양상 논리 InqM과 탐구 명제 논리 InqB의 모델 체크 문제가 PSPACE-완전하다는 것을 보여준다.
1