Ladda ner Linnk AI
•
Autonom forskningsassistent
>
Logga in
insikt
-
K+ 모달 논리의 실현 정리
K+ 모달 논리의 실현 정리
본 논문은 K+ 모달 논리의 정당화 논리 대응물을 제시하고, 이들 두 체계 간의 정상적인 실현 정리를 확립한다.
1