K4xS5 및 S4xS5 논리와 부분 공간 논리의 EXPSPACE-완전성, part 2 EXPSPACE-난해성
본 논문에서는 SSL(Strongly Structured Logic)에서의 새로운 절차를 제시하고, 이를 통해 SSL에서의 공식이 만족 가능한지 여부를 결정하는 문제에 대해 연구한다. 특히, 입력 문자열 $w$에 대해 $f_ ssl(w)$라는 이진 논리 공식을 정의하며, 이 공식은 로그 공간 내에서 계산 가능하다는 것을 증명한다. 또한, $w in L$인 경우 $f_ ssl(w)$가 만족 가능함을 보이고, 이를 통해 SSL에서의 문제를 해결하는 방법을 제시한다.
paper
AI 요약