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

摘要：

文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系. 目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义.文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性.

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

所属期刊栏目：20

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2010-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：132-134