| 强模态归结 |
| |
| 引用本文： | 孙吉贵,刘叙华.强模态归结[J].吉林大学学报(理学版),1996(1). |
| |
| 作者姓名： | 孙吉贵 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,“863计划”国家攀登计划资助 |
| |
| 摘 要： | 研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．
|
| 关 键 词： | 命题模态逻辑 “”型模态演绎定理 强模态归结 |
Strong Modal Resolution |
| |
| Sun Jigui,Liu Xuhua.Strong Modal Resolution[J].Journal of Jilin University: Sci Ed,1996(1). |
| |
| Authors: | Sun Jigui Liu Xuhua |
| |
| Abstract: | This paper concerns the question of automatic reasoning for turnstyl. " modal logical consequence in propositional modal logics K, K4, D, D4, T, S4. We have presented a method, called strong modal resolution, for proving turnstyle " modal logical consequence, and proved correctness and completeness of the strong modal resolution. |
| |
| Keywords: | propositional modal logic turnstyle " modal deduction theorem strong modal resolution |
| 本文献已被 CNKI 等数据库收录！ |
|
