【摘 要】
：
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学
论文部分内容阅读
情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下，用情境语义学来改造模态逻辑，努力构造一种动态敏感且数学上严格的形式系统，就决定了今后逻辑发展的基本走势之一。
其他文献
介绍了玻璃生产中原料控制系统的发展过程及今后的发展方向。
击剑运动是以速度、机智为特点的,属竞技类一对一的技能格斗项目。随着世界击剑运动的飞速发展,比赛交锋激烈程度增大,女子的打法风格向男子转换。文章通过对使用压剑进攻技
文章从研究的广度、研究的深度和研究的方法三个维度分析我国环境审计理论研究存在的问题，并对未来我国环境审计理论的研究提出了几点建议，以期能够为今后我国环境审计理论研究
本文简单介绍了油田开发过程中在污水处理以及二次开发这两个方面新的技术和思想.
冲刺技术是击剑战术的重要组成部分,作为一种灵活、积极、频繁使用的进攻方式,凭借其快速多变,简单实用的特点,成为当今国内外运动员在比赛中取得胜利的重要得分手段之一。针
瑞士一个研究小组成功开发出一种新型X光透视技术，采用该技术可获得更加清晰的图像，因此这种新技术在医疗和安保领域将有广泛应用价值。采用新技术获得的X光图像能显示出利用以
[目的]更直接、更全面、更精确地研究浙江省近10年来耕地变化情况及影响因素。[方法]通过挖掘历年的土地调查数据,分析浙江省耕地数量变化情况及其直接影响因素。[结果]研究
＂可证＂的算子用法与谓词用法是严格区分概念层次的结果。＂可证＂的算子用法是从命题外部来理解＂可证＂的,而它的谓词用法则是从命题内部来理解的。哥德尔自指命题是否导致悖论,关键在
现代高职教育的教学,为了使教学手段多样化,教学信息丰富,一般都采用多媒体教学,在教学过程中出现的啸叫声,破坏课堂气氛,影响教学效果,本文介绍了产生啸叫的原因,以及应对的
目的探讨活动性眼弓形虫病(OT)的临床表现及眼底荧光血管造影(FFA)和吲哚菁绿血管造影(ICGA)的同步检查图像特征.方法除临床检查外,对21例33眼活动性眼OT患者行眼底彩色照相,