Скачать Linnk AI
•
Автономный помощник по исследованиям
>
Войти
аналитика
-
양상 논리와 탐구 명제 논리의 모델 체크 문제
양상 논리와 탐구 명제 논리의 모델 체크 문제의 복잡성
이 논문은 양상 논리 InqM과 탐구 명제 논리 InqB의 모델 체크 문제가 PSPACE-완전하다는 것을 보여준다.
1