空间 $\mu$-演算子系统的简洁性
逻辑
2017-08-15 v1
摘要
本文系统地探讨了空间推理中所用模态逻辑的简洁性问题。我们证明，闭包算子尽管表达能力较弱，但在简洁性上比极限点算子呈指数级优势；且 -演算在简洁性上比具有同等表达能力的纠缠极限算子呈指数级优势。对于任何至少包含一个稠密度量空间，或包含所有基于 以下序数的空间（带有通常的极限算子）的空间类，这些结论均成立。我们还证明，即使为简洁性较弱的语言添加全称模态词，这些结论依然成立。
引用
@article{arxiv.1708.03770,
title = {Succinctness in subsystems of the spatial mu-calculus},
author = {David Fernández-Duque and Petar Iliev},
journal= {arXiv preprint arXiv:1708.03770},
year = {2017}
}