模态逻辑语义学的理论发展

作     者：朱建平 

作者机构：苏州大学政治与公共管理学院江苏苏州215123 

出 版 物：《苏州大学学报（哲学社会科学版）》 (Journal of Soochow University(Philosophy & Social Science Edition))

年 卷 期：2011年第32卷第2期

页      码：54-60页

摘      要：模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算机科学和人工智能等领域有重要的应用,同时也是这些学科研究的对象之一。本文以模型论语义学为主,通过对模型论语义学主要类型的形式描述和理论评价,较为完整和准确地描述了模态语义学的发展历程,从而使我们看到了模型论语义学是如何从一些有创意的思想发展为一种严格而成熟的语义学理论。

主 题 词：模态逻辑 模型论语义学 克里普克 

学科分类：01[哲学] 0101[哲学-哲学类] 010104[010104] 

核心收录：

D　O　I：10.19563/j.cnki.sdzs.2011.02.011

馆 藏 号：203487869...