| 模态逻辑推理的翻译方法 |
| 张健
|
| 1998
|
| 发表期刊 | 计算机研究与发展
 |
| 卷号 | 35期号:5页码:389-392 |
| 摘要 | 文中研究了模态逻辑推理的翻译法，即把模态逻辑公式按照一定的规则翻译成经典逻辑公式，再用传统的定理证明器进行推理．文中指出，该方法在理论上保持了正规命题模态逻辑的可判定性．还给出了一些试验结果，说明该方法是实际可行的． |
| 收录类别 | cscd
|
| 关键词 | 命题模态逻辑
自动定理证明
可满足性判定
|
| 部门归属 | 计算机科学国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:446880
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3180
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
张健. 模态逻辑推理的翻译方法[J]. 计算机研究与发展,1998,35(5):389-392.
|
| APA |
张健.(1998).模态逻辑推理的翻译方法.计算机研究与发展,35(5),389-392.
|
| MLA |
张健."模态逻辑推理的翻译方法".计算机研究与发展 35.5(1998):389-392.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论