이 논문은 게임 논리(GL)의 간단하고 자연스러운 확장인 방해 게임 논리(GLs)를 소개한다. GLs는 게임 중 규칙을 동적으로 변경할 수 있는 단일 추가 원시 연산자를 도입한다. 이를 통해 GLs는 모달 μ-계산법과 정확히 동등한 표현력을 가지게 된다.
이는 모달 고정점 논리의 내재된 중첩 재귀와 방해 게임의 특징적인 역동적 규칙 변경 사이의 밀접한 관계를 드러낸다.
또한 이 논문은 GLs에 대한 자연스러운 힐버트 스타일 증명 계산법을 제시하고 완전성을 증명한다. 이를 통해 게임 논리에 대한 파리크의 계산법 확장에 대한 완전성도 도출된다.
To Another Language
from source content
arxiv.org
Deeper Inquiries