|
|||||
|
|
| 关系语义学:模态逻辑系统的一种解释理论 | |
| 引用本文： | 孙明湘.关系语义学:模态逻辑系统的一种解释理论[J].湖南科技大学学报(自然科学版),1998(2). |
| 作者姓名： | 孙明湘 |
| 作者单位： | 湘潭矿业学院经济贸易与人文科学系 |
| 摘 要： | 对关系语义学的基本概念可能世界、可通关系、赋值函数、个体域作了简要分析，并运用模型〈Ｗ，Ｒ，Ｖ，Ｄ〉对必然命题、可能命题作出明确的语义定义，在此基础上又根据可通关系Ｒ的不同性质对模态逻辑系统Ｓ５、ＱＳ５等的有效性作了必要的证明通过这些分析和证明，较具体地阐述了关系语义学的基本内容和操作方法图３，参４ |
| 关 键 词： | 可能世界 关系 必然 模型 |
| 本文献已被 CNKI 等数据库收录！ | |