空间推理的通用纠缠
摘要：拓扑$μ$-演算近年来引起了人们的关注，作为表示空间知识的强大框架。特别地，空间关系可以以弱传递的wK4框架的方式表示在有限结构上。在本文中，我们展示了拓扑$μ$-演算与基于"纠缠"运算符的简单片段等价。类似的结果已经被Dawar和Otto证明了对于传递框架，他们使用了对应类别的框架的模态表征定理。然而，由于我们的设置中没有这些定理，这会导致更明确的翻译和公式大小的上界。
作者：David Fern''andez-Duque, Konstantinos Papafilippou
论文ID：2304.03339
分类：Logic
分类简称：math.LO
提交时间：2023-07-31