余代数的（度量）互模拟博弈与实值模态逻辑
计算机科学中的逻辑
2021-04-20 v4
摘要
行为等价性可以通过互模拟、模态逻辑和破坏者-防御者博弈来刻画。本文在余代数框架下回顾了这三个视角，这使我们能够从转移系统的特定分支类型进行推广。我们关注定性概念（经典互模拟）以及定量概念（互模拟度量）。我们的第一个贡献是在经典情形下为余代数引入了破坏者-防御者互模拟博弈。其次，我们在度量情形下引入了此类博弈，并进一步定义了实值模态余代数逻辑，由此可以导出破坏者的策略。对于该逻辑，我们证明了 Hennessy-Milner 定理的定量版本。
引用
@article{arxiv.1705.10165,
title = {(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras},
author = {Barbara König and Christina Mika-Michalski},
journal= {arXiv preprint arXiv:1705.10165},
year = {2021}
}
备注
CONCUR 2018