论文部分内容阅读
一阶语言与模态语言从不同侧面描述关系模型。Van Benthem刻画定理从抽象的角度指出,在描述关系模型层面上模态语言表达力弱于一阶语言。从可定义这一相对具体的角度表明,即使在讨论有穷的关系模型时,模态语言也严格弱于一阶语言。
有穷关系模型上的模态可定义
【摘 要】
：
一阶语言与模态语言从不同侧面描述关系模型。Van Benthem刻画定理从抽象的角度指出,在描述关系模型层面上模态语言表达力弱于一阶语言。从可定义这一相对具体的角度表明,即
【机 构】
：
中国人民大学哲学院
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2013年3期
【基金项目】
：
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目(12XNJ024)
其他文献
序：破译渠道DNA20世纪,经典遗传学大师摩尔根在研究胚胎和细胞时发现。基因位于染色体之上。基因的排列顺序一般相对稳定．如果基因排列顺序一旦发生变化．物种就可能产生突变。对
目前很多经销商都认识到，要想做到持续发展，关键是有一支高效的团队。因此，对业务人员的管理逐渐提上日程。促销员在终端销售中对销量的提升起到了直接的推动作用，打造能征善战的
解决当前大学英语教师的身份困境不仅对英语教学实践具有指导意义,而且对教师专业发展,推进教学改革具有重要意义。从关系论的层面来看,教师自我与学生他者的关系是被需要与
渠道网络才是经销商真正的财富，无论是开发产品还是代理产品，经销商一定要特别注意对渠道的维护。买断像是一场赌博，使许多经销商深陷其中，又像是一个怪圈，许多经销商挣扎在它的边
我公司在长期的企业管理实践中,对成本管理方法的科学性和有效性也进行了有益的探索,积累了很多成本管理经验,但这些成本管理经验基本上局限于传统的战术成本管理的范畴,很少
目的观察成功冠状动脉（冠脉）血运重建对冠心病患者心率恢复（heart rate recovery,HRR）的影响,探索冠脉血运重建效果无创性评价途径。方法纳入稳定型心绞痛（SAP）并行PCI术患者34例为
两型社会建设已经成为中国社会建设与发展的重要方向。深度挖掘两型社会建设的价值与内涵，对于深入贯彻落实科学发展观、加快转变经济发展方式、实现经济社会又好又快发展具有
样板市场的打造是一项系统工程，通过样板市场的打造，不仅可以全面展示一个企业强大的实力和超前的运作思路，而且，企业还可以借助样板市场的力量，起到“星星之火，可以燎原”的带动作
在2004年以前的几年间，广寒宫十年陈一直是莱芜市场的主角，市场容量的60％以上都被其占据。广寒宫酒厂位于市内的一来路上，因此又称“鹏泉十年”或“莱芜十年”。由于体制和内部管