|
|||||
|
|
| 模态逻辑Beth-语义图及其应用 | |
| 引用本文： | 高士忠.模态逻辑Beth-语义图及其应用[J].武汉理工大学学报(社会科学版),2000(1). |
| 作者姓名： | 高士忠 |
| 作者单位： | 武汉交通科技大学人文学院!湖北武汉430063 |
| 摘 要： | 本文所作的主要工作 ,是将 Beth建立的一阶逻辑的语义图理论扩充到非标准逻辑 ,建立了模态逻辑 Beth语义图理论 ,本文还论述了这种语义图的四种判定作用 |
| 关 键 词： | 模态逻辑 语义学 语义图 判定问题 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |