双模拟逻辑刻画的不可能性
计算机科学中的逻辑
2010-12-13 v3
摘要
我们快速回顾了标记马尔可夫过程（LMP），并提供了一个反例，表明在一般可测空间中，LMP中的事件双模拟和状态双模拟是不同的。这表明Desharnais[*]中的逻辑在非解析可测空间中不能刻画状态双模拟。此外，我们证明，在当前数学基础下，对于共解析集的投影空间，这种逻辑刻画是不可证明的。这一构造的基础是证明一般可测空间上的平稳马尔可夫过程没有半拉回。（[*] J. Desharnais, 标记马尔可夫过程. 计算机科学学院. 麦吉尔大学, 蒙特利尔 (1999)）
引用
@article{arxiv.1005.5142,
title = {Unprovability of the Logical Characterization of Bisimulation},
author = {Pedro Sánchez Terraf},
journal= {arXiv preprint arXiv:1005.5142},
year = {2010}
}
备注
Extended introduction and comments; extra section on semi-pullbacks; 11 pages Some background details added; extra example on the non-locality of state bisimilarity; 14 pages