MALC的公式在其模型间互模拟下的不变性  

The Invariant Property of Formulas under Bisimulation Between Its Models

作　　者：余泉[1] 王驹[2] 

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

出　　处：《计算机技术与发展》2010年第1期132-134,共3页Computer Technology and Development

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

摘　　要：文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。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 properties are neglected.But the algebraic properties such as modal logic modeling,bisimulation between models,isomorphism between models of variety of modal logic system has important theoretical and practical significance.Define the theory of possible worlds and the equivalent of two possible worlds of modal logic system based on reference[ 1 ], continue to study the algebraic properties of modal logic systern,and get the invariant property of formulas under bisimulation between its models.

关 键 词：互模拟 合式公式 不变性 

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