거짓 신념과 극단적 무지의 논리

이 논문에서는 거짓 신념의 추이적 논리를 공리화하는 문제를 해결하고, 극단적 무지의 논리를 새로 제안한다. 거짓 신념 연산자와 표준 신념 연산자 간의 "거의 정의 가능성" 스키마를 통해 거짓 신념의 추이적 논리와 유클리드 논리에 대한 핵심 공리를 찾아내고, 이를 바탕으로 다양한 거짓 신념 논리의 완전성 증명을 통일적으로 수행한다. 또한 거짓 신념 연산자와 극단적 무지 연산자의 상호 정의 가능성을 이용하여 극단적 무지 논리의 공리화 결과를 제시한다.