模态描述逻辑MALC模型的几个代数性质  被引量:1

Several Algebraic Properties of the Model of MALC

在线阅读下载全文

作  者:余泉[1] 张维[1] 王驹[2] 

机构地区:[1]黔南民族师范学院数学系,贵州都匀558000 [2]广西师范大学计算机科学与信息工程学院,广西桂林541004

出  处:《计算机工程与科学》2010年第10期135-138,共4页Computer Engineering & Science

基  金:国家自然科学基金资助项目(60663001);贵州省科技厅科学技术基金资助项目(黔科合J字[2009]2068号);贵州省教育厅自然科学基金资助项目(黔教科2008090);黔南民族师范学院2008年度院级重点资助项目(2008z01)

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

关 键 词:MALC 有界态射 不变性 互模拟 

分 类 号:TP301[自动化与计算机技术—计算机系统结构]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象