模态描述逻辑MALC模型的几个代数性质
修回日期: 2010-06-10
网络出版日期: 2010-09-25
基金资助
国家自然科学基金资助项目（60663001）；贵州省科技厅科学技术基金资助项目(黔科合J字［2009］2068号)；贵州省教育厅自然科学基金资助项目(黔教科2008090 )；黔南民族师范学院2008年度院级重点资助项目(2008z01)
Several Algebraic Properties of the Model of MALC
Revised date: 2010-06-10
Online published: 2010-09-25
本文定义了MALC模型间的同构、同态等关系，并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟，得到MALC的合式公式在拓扑互模拟下具有不变性。
关键词： MALC;有界态射;不变性;互模拟
余泉1，张维1，王驹2 . 模态描述逻辑MALC模型的几个代数性质[J]. 计算机工程与科学, 2010 , 32(10) : 135 -138 . DOI: 10.3969/j.issn.1007130X.2010.
In this paper, the relations between the models of MALCsuch as homomorphism and isomorphism are defined, and the algebraic properties such as invariant under these relations which belong to the formula of MALC are discussed. At the end of this paper, the topological semantics of MALC and the topological bisimulation between two topological models are defined, and the conclusion is that the formula of MALC has the property of invariance under topological bisimulation.
/
| 〈 |
|
〉 |