[논문 리뷰] Modal logic of some products of neighborhood frames

Andrey Kudinov|arXiv (Cornell University)|2014. 05. 26.

Glaucoma and retinal disorders참고 문헌 8인용 수 6

한 줄 요약

이 논문은 {S4, D4, D, T}에서의 어떤 두 논리의 조합에 대해, 이들의 이웃성 프레임의 곱의 모달 논리는 정확히 그 논리들의 융합임을 입증한다. 이론적 이웃성 의미론과 분열처럼 생긴 이웃성 프레임을 사용하여 완전성과 추가 공리가 필요로 하지 않음을 보이며, 기존의 위상수학적 및 유도적 의미론에 대한 결과를 일반화한다.

ABSTRACT

We consider modal logics of products of neighborhood frames and prove that for any pair $L$ and $L'$ of logics from set $\{S4, D4, D, T\}$ modal logic of products of $L$-neighborhood frames and $L'$-neighborhood frames is the fusion of $L$ and $L'$.

연구 동기 및 목표

• 이웃성 프레임의 곱에 대한 모달 논리를 조사하는 것, 특히 정규 모달 논리에 대해.
• 이러한 곱의 논리가 구성 요소 논리들의 융합과 일치하는지 확인하는 것.
• 모달 논리의 곱에 대한 기존의 위상수학적 및 유도적 의미론 결과를 일반화하는 것.
• 이웃성 의미론이 추가 공리 없이도 곱 논리를 자연스럽게 포괄할 수 있음을 보여주는 것.

제안 방법

• 고정된 분지 수를 가진 무한한 트리 기반의 이웃성 프레임을 구성하며, 반사적, 추이적, 또는 비반사적/비추이적 관계를 사용한다.
• 이웃성 의미론에 맞게 조정된 Kripke 프레임 곱의 수정 버전을 사용하여 이웃성 프레임의 곱을 정의한다.
• 콘의 구조가 전체 프레임과 동형임으로써 수준 간의 균일성을 보장하는 '분열' 프레임의 개념을 도입한다.
• 트리 구조의 프레임에서 기반을 삼아 캐논리컬 이웃성 프레임을 생성하는 오메가-이웃성 구조(Nω)를 사용한다.
• 이웃성 함수와 위상수학적 동형사상에 기반한 완전성 기법을 적용하며, 특히 캄토어의 정리(밀도 있는 선형 순서에 대한 정리)를 활용한다.
• 이웃성 보존 및 프레임 임bedding에 관한 보조정리들을 통해 논리의 포함 및 등식을 증명한다.

실험 결과

연구 질문

• RQ1 두 이웃성 프레임의 곱의 논리가 각각의 개별 논리의 융합과 일치하는가?
• RQ2 S4, D4, D, T의 융합이 추가 공리 없이 이웃성 의미론으로 포괄될 수 있는가?
• RQ3 이웃성 프레임은 Kripke 또는 위상수학적 프레임에 비해 곱 논리를 포괄하는 데 어떻게 다른가?
• RQ4 완전성을 보장하는 이웃성 프레임의 캐논리컬 구성이 존재하는가?

주요 결과

• {S4, D4, D, T}에서의 어떤 두 논리의 조합에 대해서도, 그 이웃성 프레임의 곱의 논리는 정확히 두 논리의 융합이다.
• 기존 결과를 일반화한다: 모든 위상공간의 논리는 S4⊗S4이며, 모든 유도적 프레임의 논리는 D4⊗D4이다.
• Nω(F)의 구성은 원래 프레임 F의 논리를 유지한다. 따라서 고려된 프레임들에 대해 Log(Nω(F)) = Log(F)이다.
• 증명은 Log(Nω(F1) ×n Nω(F2)) = Log(F1) ⊗ Log(F2)임을 보이며, 곱 논리의 완전성을 확립한다.
• 이웃성 프레임 곱의 구성은 Kripke 의미론과 달리 추가 공리가 필요로 하지 않으며, 곱 논리에 대해 더 자연스럽다.