多元模态逻辑中的范本特姆-西南大学学报.PDF

( ) 第 卷第 期 西 南 大 学 学 报 自然科学版 年 月 35 12 2013 12 ( ) Vol.35 No.12 JournalofSouthwestUniversit NaturalScienceEdition Dec. 2013 y 文章编号: ( ) 1673 9868201312 0159 06 ① — 多元模态逻辑中的范本特姆 罗森定理 , 陈 武12 , ; , 1.西南大学 计算机与信息科学学院 重庆 400715 2.西南大学 逻辑与智能研究中心 重庆 400715 摘要: — , : , 证明了在多元模态逻辑中范本特姆 罗森定理仍然成立 即 无论在经典或有限模型论意义下 一个量词深 n 度为 的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于 的多元模态公式 n 2 . : — ; ; 关 键 词 范本特姆 罗森定理 多元模态逻辑 有限模型论 中图分类号:TP301.6 文献标志码:A , ( ) , 在经典模型论研究中 很多重要工具 包括紧致性和超积 都离不开无限模型 但在实际应用中 往往 . , , 有限模型才是真正被关注的对象 譬如在数据库理论中 由于计算机存储容量的限制 所有数据库都只能 . , 包含有限容量的数据 又如 人工智能领域的很多问题被限制在有限论域中考虑 这些需求催生了模型论 . . [] 1 的一个重要分支———有限模型论 .该分支的一个重要任务就是研究经典模型论的哪些结果在有限模型语 义下仍然成立. , , 过去半个世纪 经典模型论中的许多重要性质先后被证明在有限模型语义下不再成立 如完备 性、