认知 $\mu$-演算的表达能力
计算机科学中的逻辑
2014-07-22 v1
摘要
虽然 -演算众所周知地包含交替时间逻辑 (ATL)，但我们表明，对于同步完美回忆语义，认知 -演算并不包含具有不完美信息的 ATL (ATL)。为了证明这一点，我们首先确立了跳跃奇偶树自动机 (JTA)（一种最近引入的交替奇偶树自动机的扩展）与认知 -演算在表达能力上是等价的，且适用于任何知识语义。利用这一结果，我们还表明，对于有界内存语义，认知 -演算的表达能力并不强于标准 -演算，且其可满足性问题是 EXPTIME-完全的。
引用
@article{arxiv.1407.5166,
title = {The Expressive Power of Epistemic $\mu$-Calculus},
author = {Cătălin Dima and Bastien Maubert and Sophie Pinchinat},
journal= {arXiv preprint arXiv:1407.5166},
year = {2014}
}