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

发布时间：2017-08-03 15:16

  本文关键词：多元模态逻辑中的范本特姆—罗森定理

  更多相关文章： 范本特姆—罗森定理 多元模态逻辑 有限模型论

【摘要】：证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
【作者单位】： 西南大学计算机与信息科学学院;西南大学逻辑与智能研究中心;
【关键词】： 范本特姆—罗森定理 多元模态逻辑 有限模型论
【基金】：国家自然科学基金资助项目(61003203) 重庆市人文社会科学重点研究基地项目资助(09SKB35) 中央高校基本科研业务费专项资金资助(XDJK2014C040)
【分类号】：B81-0
【正文快照】： 在经典模型论研究中,很多重要工具(包括紧致性和超积)都离不开无限模型.但在实际应用中,往往有限模型才是真正被关注的对象.譬如在数据库理论中,由于计算机存储容量的限制,所有数据库都只能包含有限容量的数据.又如,人工智能领域的很多问题被限制在有限论域中考虑.这些需求催

【共引文献】

中国期刊全文数据库 前1条

1 杨本娟;孙萍;;多元模态逻辑在有限模型语义下的■os-Tarski定理[J];贵州师范大学学报(自然科学版);2009年03期

中国博士学位论文全文数据库 前1条

1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

，

本文编号：614995