弱K4はモダリティ言語の3演算子をトポロジカル空間内の導関数1で解釈したものである。
研究では、wK4とDLにおける補間存在問題について深く探求しており、その結果が示唆的である。
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Agi Kurucz,F... a las arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.11255.pdfConsultas más profundas