论文部分内容阅读
模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。
现代模态逻辑的多元视野
【摘 要】
：
模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机
【机 构】
：
华南师范大学政治与行政学院
【出 处】
：
华南师范大学学报(社会科学版)
【发表日期】
：
2006年05期
其他文献
在当前新一轮的产业转移与中部崛起的背景下,受体制转轨和经济开放度的影响,中部地区招商引资中政府作用强、市场力量较弱,产业承接效果与东部沿海地区相比差距依然显著。应
为了确定自拟的固肠促长散对猪生长性能的影响,试验选用育肥猪和僵猪验证固肠促长散对育肥猪生长性能、腹泻及僵猪活化的影响。结果表明:固肠促长散可以有效提高育肥猪日增重
中国转型期的社会结构分析起源于20世纪80年代中期。它是在对中国社会结构变迁的新特征和新形势进行捕捉和判断的基础上逐渐发展起来的,先后经历了分析范式的讨论→分层主导
我国《侵权责任法》第29条规定于第三章不承担责任和减轻责任的情形之下,由此确定了不可抗力属于侵权责任法中的抗辩事由。因不可抗力的内涵具有不确定性,故不可抗力的认定应
详细介绍了数控铣床的主要功能及工作原理,并从数控铣床的功能方面阐述了其优点,同时分数控系统选择及主要机械部件改装、主传动的自动化改造、进给传动的数控改造、普通铣床
目前城市化发展进程的加快,大型房建日渐成为现代化建筑的重要组成,并且占据的比例逐渐加大。建筑管理对施工质量具有重要的意义,随着我国建筑企业的不断增加,尽管受经济化危
综述了高纯三氟甲烷的制备工艺,提出了通过精馏加吸附的纯化方法,将含有二氧化碳、三氟一氯甲烷、三氟一溴甲烷、五氟乙烷、二氟一氯甲烷、二氟二氯甲烷等杂质的粗三氟甲烷,
目的 :探讨精纯抗栓酶治疗急性脑梗死的疗效及其安全性。方法 :经CT证实的急性脑梗死 15 2例 ,随机分为两组 ,精纯抗栓酶组 76例 (男 42例 ,女 3 4例 ,年龄 64± 9a) ,用精纯