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

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (10): 135-138.doi: 10.3969/j.issn.1007130X.2010.

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

余泉1，张维1，王驹2

（1.黔南民族师范学院数学系,贵州都匀 558000;2.广西师范大学计算机科学与信息工程学院,广西桂林 541004）

修回日期:2010-06-10 出版日期:2010-09-29 发布日期:2010-09-25
作者简介:余泉(1979),男,贵州思南人，硕士生，讲师，研究方向为描述逻辑和模态逻辑。
基金资助:
国家自然科学基金资助项目（60663001）；贵州省科技厅科学技术基金资助项目(黔科合J字［2009］2068号)；贵州省教育厅自然科学基金资助项目(黔教科2008090 )；黔南民族师范学院2008年度院级重点资助项目(2008z01)

Several Algebraic Properties of the Model of MALC

YU Quan1,ZHANG Wei1,WANG Ju2

(1.Department of Mathematics,Qiannan Normal College for Nationalities,Duyun 558000;2.School of Computer Science and Information Engineering,Guangxi Normal University,Guilin 541004,China)

Revised:2010-06-10 Online:2010-09-29 Published:2010-09-25

摘要/Abstract

摘要：

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

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

Abstract:

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.

Key words: MALC;bounded morphisms;invariant;bisimulation

余泉1，张维1，王驹2. 模态描述逻辑MALC模型的几个代数性质[J]. J4, 2010, 32(10): 135-138.

YU Quan1,ZHANG Wei1,WANG Ju2. Several Algebraic Properties of the Model of MALC[J]. J4, 2010, 32(10): 135-138.

编辑推荐

Metrics

阅读次数

全文

HTML			PDF

最新录用	在线预览	正式出版	最新录用	在线预览	正式出版
0	0	0	0	0	30

来源	本网站	其他网站

次数	20	10
比例	67%	33%

摘要

最新录用	在线预览	正式出版

0	0	39

	来源	本网站

	次数	39
	比例	100%

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

Several Algebraic Properties of the Model of MALC

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 0

编辑推荐

Metrics

本文评价