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

第20 期 计 算 机 技术 与 发展 Vo1．2O No．1 2010年 1月 O0MP1丌ERTECHNOLDGY ANDDEVELOPMENT Jan． 2010 MALC的公式在其模型间互模拟下的不变性 余 泉 ，王 驹2 (1．黔南民族师范学院数学系，贵州都匀 558000； 2．广西师范大学计算机科学与信息科学学院，广西桂林 541004) 摘 要：3c献[1]中给出了模态描述逻辑的语法与语义，同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻 辑系统的研究主要是它们的语法与语义，对其代数性质做研究很少见，然而研究各种模态描述逻辑系统的模型构造，模型 之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上，定义了模态描述逻辑的可能世界的理 论和两个可能世界的等价，继续研究描述逻辑系统的代数性质，得到了的合式公式在模型问互模拟下的不变性。 关键词：互模拟；合式公式；不变性 中图分类号：n)301 文献标识码 ：A 文章编号：1673—629X(2010)01—0132一O3 TheInvariantPropertyofFormulasunderBisimulation BetweenItsM odels YU Ouan ，WANGJu2 (1．DepartmentofMathematics，QiannanNormalUniversityforNationalities，Duyun558000，China； 2．CollegeofComputerScienceandInformationEngineering，GuangxiNomralUniversity，Guilin541004，China) Abstract：ThesyntaxandsemanticsofMALchavebeendefinedinreference[1]，andthebisimulationbetweenonenadanothermodelhas beendefinedaswell，CurrnetresearchmainlyeorleelTIsahvutthesyntaxandsemna ticsofvariousmodallogicsystems．thdralgebraic propertiesarenegl~tde ．ButthealgebraicpropertiessuchasrDodallogicmodeling，bisimulationbewteenmodels，isomorphism bewteen modelsofvarietyofmodallogicsystem hasimportanttheoreticalandpracticalsignificance．Definethetheoryofpossibleworldsandthee· quivalnetoftwopossibleworldsofmodallogicsystembasedonreference[1]，continuetostudythealgebraicpropertiesofmodallogicsys． tern，nadgettheinvariantpropertyofformulasunderbisimulatoinbewteenitsmodels． Key’删 s：bisimulatoin；wel卜definedforna as；invariant 0 引 言 讨，得到了MALC的合式公式在模型间互模拟下的不 模态描述逻辑系统是在描述逻辑的基础上引入模 变性。 态算子而得到的逻辑系统，目前对各种模态描述逻辑 系统的研究主要是它们的语