模态描述逻辑MALC模型的几个代数性质

• 作者: 余泉 张维 王驹
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: MALC 有界态射 不变性 互模拟
• 年，卷（期）: 2010,（10）
• 页码范围: 135-138
• 分类号: TP301
• 字数: 5175字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.10.034

摘要

本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质.最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性.

作者信息

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