论文部分内容阅读
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW多统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法，但在技术上却有许多共性。
论模态逻辑系统的有限模型性质
【摘 要】
：
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW多统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法，但在技术上却有许多共性。
【机 构】
：
中国人民大学哲学院,北京100872
【出 处】
：
中国人民大学学报
【发表日期】
：
2006年3期
其他文献
直槽滚刀重磨后,习惯上规定前刃面偏心距不变,认为这样能保证其齿形精度,但是,从理论上来讲是不合乎道理的。近年来,直槽大负前角硬质合金滚刀的应用越来越普遍,有的厂家发
本文借助电子计算机,对GC1-2型中速工业平缝机的主要机构进行了动力分析,分别求得上轴转角在72个位置时,运动副的反力、振动力、上轴前后支承的反力,并对振动力作了谐量分析
道路交通安全意识的培育和普及是一个漫长的过程。德国用了40年做这件事才见成效,大众中国还会坚持做下去,并将国内两家合资公司参与进来
The cultivation and popularizati
流体润滑状态可以分为动力润滑与静力润滑两种方式,与此相应分为动压轴承与静压轴承。动力润滑利用轴颈(或轴承)的旋转自己产生能支承外载荷的油膜压力。静压轴承利用外部的
用精密冲我制造的零件必须满足实际要求。必须进行三维成形加工。精密冲裁与成形相结合，可以实现特别经济的生产。对于精密冲裁，需要通过三个运动来产生所需的冲压力、切刃圆周
A new lycopodium alkaloid with a novel skeleton was isolated from Huperzia serrata.Its structure was determined on the basis of spectral evidences.
奥拓普是国内最早的车载DVD出口商,凭借过硬的产品品质与世界众多知名车厂进行长期配套,后视娱乐产品在海外拥有非常高的知名度;在国内他们和一些较大的汽车影音厂家合作,为
研究了５－（６－甲基－２－吡啶）－亚甲基罗丹宁（ＭＰＭＲ）与金的显色反应，在ｐＨ＝５．６醋酸－醋酸铵缓冲介质中，吐温－８０存在下，ＭＰＭＲ和Ａｕ（Ⅲ）生成黄色产物，λｍａｘ＝４５０ｎｍ，ε＝８．１６×１０４Ｌ／（ｍｏｌ·ｃｍ），Ａｕ（Ⅲ）含量在０～１．６μｇ／ｍｌ范围内符合比尔定律。方法用于矿石中金的测定，其结果令人满
Ｒａｎｄｉｃ－Ｋｉｅｒ提出的价连接性指数［１，２］在有机分子的构效关系研究中得到了广泛应用。但因其顶点价连接性值δｖ不反映原子的氧化状态，以及价电子数不能准确描述过渡元素的成键情况，故不能应用于无机