| 模态逻辑S5的表推演系统TS5 |
| |
| 引用本文： | 施庆生,何嘉鹏.模态逻辑S5的表推演系统TS5[J].南京建筑工程学院学报,1996(1):29-33. |
| |
| 作者姓名： | 施庆生 何嘉鹏 |
| |
| 作者单位： | 南京建筑工程学院基础部，南京建筑工程学院基础部，南京建筑工程学院城建系 南京210009 |
| |
| 摘 要： | 进一步讨论关于正规模态逻辑Ｓ５的自动定理证明理论与方法，给出了正规模态逻辑Ｓ５的表推演系统ＴＳ６，证明了该可靠性与完备性。
|
| 关 键 词： | 模态逻辑 表推演 自动定理证明 TS5 |
Tableaux System TS_5 of the Regular Modal Logic S_5 |
| |
| Shi Qingsheng Gong Ningsheng He Jiapeng.Tableaux System TS_5 of the Regular Modal Logic S_5[J].Journal of Nanjing Architectural and Civil Engineering Institute(Natural Science),1996(1):29-33. |
| |
| Authors: | Shi Qingsheng Gong Ningsheng He Jiapeng |
| |
| Abstract: | In this paper we discuss the theory of automated reasoning on the regular modal logic S5 and present the tableau system TS5 of the regular system S5 and show its soundness and completeness. |
| |
| Keywords: | automated reasoning tableaux system modal logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
