互模拟的含义、特征及主要应用

• 作者: 姚从军
• 来源期刊: 重庆理工大学学报(社会科学版)
• 学科: 哲学
• 关键词: 互模拟 模态逻辑 等价关系 固定点 并发系统
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 逻辑学与科学方法论
• 页码范围: 30-33
• 页数: 4页
• 分类号: B81
• 字数: 3012字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2010.02.006

摘要

给出互模拟精确且具有概括性定义(B),给出并证明了互模拟的5个特征,最后给出最大互模拟～定义,证明了～是一个等价关系,进一步证明了一是R中(B)的最大固定点.概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题.互模拟具有美好的发展前景和极大的发展空间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚从军	南开大学哲学系	21	53	4.0	6.0