模态μ演算在单调邻域结构上的表达能力
计算机科学中的逻辑
2015-03-02 v1
摘要
我们以标准模态μ演算的 Janin-Walukiewicz 定理为范式，刻画了模态μ演算在单调邻域结构上的表达能力。为此，我们考虑了一种针对单调邻域结构的单体二阶逻辑。我们的主要结果表明，单调模态μ演算恰好对应于该二阶语言中在邻域双模拟下保持不变的片段。
引用
@article{arxiv.1502.07889,
title = {Expressiveness of the modal mu-calculus on monotone neighborhood structures},
author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
journal= {arXiv preprint arXiv:1502.07889},
year = {2015}
}