$\mathbf{GL}\times\mathbf{S5}$ 与 $\mathbf{Grz}\times\mathbf{S5}$ 的有限公理化
逻辑
2025-12-25 v4
摘要
我们证明了 是积匹配的，并且 可通过向 添加哥德尔翻译的单子Casari公式来公理化。这解决了Gabbay和Shehtman（1998）提出的关于这些逻辑有限可公理化的疑问。
引用
@article{arxiv.2512.09381,
title = {Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$},
author = {Guram Bezhanishvili and Mashiath Khan},
journal= {arXiv preprint arXiv:2512.09381},
year = {2025}
}