MALC的公式在其模型间互模拟下的不变性

• 作者: 余泉 王驹
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 互模拟 合式公式 不变性
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 132-134
• 页数: 3页
• 分类号: TP301
• 字数: 2997字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.01.035

摘要

文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系. 目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义.文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息科学学院	53	458	11.0	19.0