【摘 要】
：
模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算机科学和人工智能等领域有重要的应用,同时也是这些学科研究的对象之一。本文以模型
论文部分内容阅读
模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算机科学和人工智能等领域有重要的应用,同时也是这些学科研究的对象之一。本文以模型论语义学为主,通过对模型论语义学主要类型的形式描述和理论评价,较为完整和准确地描述了模态语义学的发展历程,从而使我们看到了模型论语义学是如何从一些有创意的思想发展为一种严格而成熟的语义学理论。
其他文献
传统现实主义作家认为历史是一个自给自足的整体, 它的发展是由必然性和逻辑性推动的.先锋作家吸取了西方现代主义精神, 在创作中寻求一种主观形态的、 非线性的、 边缘形态
在寒冷的冬季,有的人由于身体阳气不足,因而表现出特别畏寒怕冷。如在饮食中选用一些补气助阳的食物,使阳虚之体代谢功能加快,内分泌功能增强,可改善畏寒现象。狗肉:民间历来
责任消费是一个融合了政治、经济、法制、伦理、道德、心理等内容的话题。每一个具体的消费行为,无不蕴含着消费者丰富的心理活动。本篇《消费者购买心理八阶段》对消费心理
企业形象的好坏,对消费者的购买决策起着极其重大的影响。商品、服务、购物环境对企业和消费者来讲,都是影响企业形象的最主要的因素,而消费者的购买心理则是受这诸多因素及
突发公共卫生事件是指突然发生,造成或可能造成社会公众健康严重损害的重大传染病疫情、群体性不明原因疾病,重大食物和职业中毒以及其他严重影响公众健康的事件。尽管随着实
目的研究西格列汀联合格列美脲治疗2型糖尿病(T2DM)患者的效果及对患者血糖波动的影响。方法抽取2017年10月至2019年10月长治医学院附属和平医院收治的T2DM患者96例，采用随机数字表法将其分为研究组和对照组，每组48例。对照组患者口服磷酸西格列汀＋阿卡波糖，研究组患者口服磷酸西格列汀＋格列美脲，持续治疗3个月后，观察比较两组血糖指标[空腹血糖(FBG)、糖化血红蛋白(HbA1c)、餐后2
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
语音是语言的物质外壳,也是对外汉语教学的基础性工程,只有学好了语音,才能为日后学习语言的其他部分打下一个坚实的基础。在对外汉语教学中,有关教学的方法等问题一直备受关
本文通过研究近些年国内消费者购买决策的相关文献发现,学者主要从影响决策相关因素和刺激消费者购买的方法进行分析。影响消费者购买因素包括:个人因素、社会文化因素、企业