模态逻辑与近似归纳原理
计算机科学中的逻辑
2009-11-12 v1
摘要
我们在Hennessy-Milner逻辑的背景下证明了一个紧致性定理。该定理用于推导模态刻画的一个充分条件，使得近似归纳原理相对于相应的过程等价关系是可靠的。我们证明，当所讨论的等价关系关于投影算子具有组合性时，该条件是必要的。
引用
@article{arxiv.0911.2035,
title = {Modal Logic and the Approximation Induction Principle},
author = {Maciej Gazda and Wan Fokkink},
journal= {arXiv preprint arXiv:0911.2035},
year = {2009}
}