全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

Bisimulation with Logic
互模拟与逻辑

Keywords: 互模拟,模态逻辑,μ算子,表达能力,博弈语义,集合

Full-Text   Cite this paper   Add to My Lib

Abstract:

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133