AI 中文总结
研究S4.1拓扑平方的公理化，是首个有别于融合及克里普克积的模态逻辑拓扑平方，找到其公理化是主要贡献。
AI 中文摘要
本文找到了S4.1拓扑平方的公理化。这是已知首个模态逻辑的拓扑平方，与融合及克里普克积均不同。
英文摘要
In this paper, we find the axiomatization for the topological square of S4.1. This is the first known topological square of a modal logic that differs from both the fusion and the Kripke product. We also prove the finite model property and decidability for this logic.
Comments30 pages, 2 figures
