模态逻辑推理的翻译方法
| Data(s) |
1998
|
|---|---|
| Resumo |
文中研究了模态逻辑推理的翻译法，即把模态逻辑公式按照一定的规则翻译成经典逻辑公式，再用传统的定理证明器进行推理．文中指出，该方法在理论上保持了正规命题模态逻辑的可判定性．还给出了一些试验结果，说明该方法是实际可行的． |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
张健.模态逻辑推理的翻译方法,计算机研究与发展,1998,35(5):389-392 |
| Palavras-Chave | #命题模态逻辑 #自动定理证明 #可满足性判定 |
| Tipo |
期刊论文 |
