이 논문은 거짓 신념의 논리에 대한 연구 결과를 다룹니다. 주요 내용은 다음과 같습니다:
거짓 신념 연산자 W와 표준 신념 연산자 2 간의 "거의 정의 가능성" 스키마를 제시합니다. 이를 통해 거짓 신념의 추이적 논리와 유클리드 논리에 대한 핵심 공리를 찾아냅니다.
이 스키마와 기타 고려사항을 바탕으로 적절한 정준 관계를 제안하여, 거짓 신념 논리의 다양한 체계(추이적 논리 포함)에 대한 완전성 증명을 통일적으로 수행합니다. 이를 통해 [14]에서 제기된 미해결 문제를 해결합니다.
거짓 신념 연산자와 극단적 무지 연산자의 상호 정의 가능성을 이용하여, 극단적 무지 논리의 공리화 결과를 제시합니다. 최소 논리, 직렬 논리, 추이적 논리 등을 다룹니다.
Para Outro Idioma
do conteúdo original
arxiv.org
Principais Insights Extraídos De
by Jie Fan às arxiv.org 04-12-2024
https://arxiv.org/pdf/2404.07442.pdfPerguntas Mais Profundas