| 基于K4的超模态逻辑 |
| |
| 引用本文： | 许春梅,刘壮虎.基于K4的超模态逻辑[J].湖南科技大学学报(社会科学版),2014,17(2):25-30. |
| |
| 作者姓名： | 许春梅 刘壮虎 |
| |
| 作者单位： | 北京大学 哲学系，北京 100871 |
| |
| 摘 要： | D.M.Gabbay在“超模态逻辑理论：模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学，将任意框架上的超模态逻辑语义学扩充到传递框架上，并尝试构建一个K4以上的超模态逻辑K4［T·，K·］，主要研究K4、S4超模态算子性质，特别是关于它叠置的归约问题。
|
| 关 键 词： | 超模态算子 传递框架 扩充语义学 翻译定理 K4［T·，K·］ |
A Hypermodal Logic Based on K4 |
| |
| XU Chun mei & LIU Zhuang hu.A Hypermodal Logic Based on K4[J].journal of hunan university of science&technology,2014,17(2):25-30. |
| |
| Authors: | XU Chun mei & LIU Zhuang hu |
| |
| Institution: | Department of Philosophy, Peking University, Beijing 100871, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载免费的PDF全文 |
