多元模态逻辑中的范本特姆—罗森定理  

Van Benthem-Rosen Theorem for Polyadic Modal Logic

作　　者：陈武[1,2] 

机构地区：[1]西南大学计算机与信息科学学院,重庆400715 [2]西南大学逻辑与智能研究中心,重庆400715

出　　处：《西南大学学报（自然科学版）》2013年第12期159-164,共6页Journal of Southwest University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地项目资助(09SKB35);中央高校基本科研业务费专项资金资助(XDJK2014C040)

摘　　要：证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.In this paper,we show that in the sense of either classical or finite model theory,a first-order formula of quantifier rank nis persevered under polyadic bisimulation if and only if it is logically equivalent to a polyadic modal formula whose modal nesting depth is less than 2n and that this can be looked upon as a version of the van Benthem-Rosen theorem for polyadic modal logic.

关 键 词：范本特姆—罗森定理 多元模态逻辑 有限模型论 

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