驯服“别处”：论拓扑语言的表现力
逻辑
2021-09-14 v1
摘要
在拓扑模态逻辑中，众所周知康托导数比拓扑闭包更具表现力，“别处”或“差”算子比“某处”算子更具表现力。2014年，Kudinov与Shehtman提出疑问：在闭包与别处算子的组合中加入康托导数是否会变得严格更具表现力。本文给出肯定答案：事实上，仅凭康托导数即可定义出用闭包与别处算子无法表达的拓扑空间性质。为证明此点，我们发展了一种保留含别处算子公式的态射新理论。
引用
@article{arxiv.2109.06040,
title = {Taming the `elsewhere': On expressivity of topological languages},
author = {David Fernández-Duque},
journal= {arXiv preprint arXiv:2109.06040},
year = {2021}
}