이 논문은 모달 논리의 곱이 국소적으로 표 가능한 조건을 제시한다.
먼저, 국소적 표 가능성을 가진 두 논리의 곱이 반드시 국소적으로 표 가능한 것은 아님을 보인다. 가장 단순한 예로 S5 논리의 곱 S52가 국소적으로 표 가능하지 않음을 제시한다.
이후 추가적인 의미론적, 공리적 조건을 제시한다:
이러한 조건들을 만족하면 국소적 표 가능성이 보장됨을 보인다. 또한 이러한 조건들을 만족하는 새로운 모달 논리 곱 가족들을 제시한다.
To Another Language
from source content
arxiv.org
Önemli Bilgiler Şuradan Elde Edildi
by Ilya B. Shap... : arxiv.org 04-03-2024
https://arxiv.org/pdf/2404.01670.pdfDaha Derin Sorular