[1]余泉 王驹.MALC的公式在其模型间互模拟下的不变性[J].计算机技术与发展,2010,(01):128-132.
YU Quan,WANG Ju.Invariant Property of Formulas under Bisimulation Between Its Models[J].,2010,(01):128-132.
点击复制
MALC的公式在其模型间互模拟下的不变性()
《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]
- 卷:
-
- 期数:
-
2010年01期
- 页码:
-
128-132
- 栏目:
-
智能、算法、系统工程
- 出版日期:
-
1900-01-01
文章信息/Info
- Title:
-
Invariant Property of Formulas under Bisimulation Between Its Models
- 文章编号:
-
1673-629X(2010)01-0132-03
- 作者:
-
余泉1 王驹2
-
[1]黔南民族师范学院数学系[2]广西师范大学计算机科学与信息科学学院
- Author(s):
-
YU Quan1; WANG Ju2
-
[1] Department of Mathematics, Qiannan Normal University for Nationalities[2]College of Computer Science and Information Engineering,Guangxi Normal University
-
- 关键词:
-
互模拟; 合式公式; 不变性
- Keywords:
-
bisimulation; well-defined formulas; invariant
- 分类号:
-
TP301
- 文献标志码:
-
A
- 摘要:
-
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。
- Abstract:
-
The syntax and semantics of MALC have been defined in reference[1],and the bisimulation between one and another model has been defined as well.Current research mainly concerns about the syntax and semantics of various modal logic systems,their algebraic p
备注/Memo
- 备注/Memo:
-
余泉(1979-),男(蒙古族),贵州思南人,讲师,研究方向为描述逻辑和模态逻辑;王驹,研究员,博士,研究方向为数理逻辑、人工智能逻辑。国家自然科学基金(60663001);贵州省自然科学基金(黔教科2008090);贵州省科技厅科学基金项目(黔科合J字[2009]2068号);黔南民族师范学院2008年度院级重点项目(2008z01)
更新日期/Last Update:
1900-01-01