|
|||||
|
|
| Levesque的信念逻辑中模态词O的若干语义特征 | |
| 引用本文： | 苏开乐.Levesque的信念逻辑中模态词O的若干语义特征[J].科学通报,1995,40(8):765-765. |
| 作者姓名： | 苏开乐 |
| 作者单位： | 南京大学数学系 南京210008 |
| 摘 要： | Levsque的信念逻辑具有一个特别的模态词O,这使得表达“仅仅某一句子(或有限个句子)被相信(或被知道)”成为可能.在这种逻辑里仅利用古典的元逻辑概念(可满足性,永真性,蕴涵)就可以刻画推理的非单调性,而在其他信念逻辑加Moore的自动认识逻辑中,非单调推理的刻画需用到一些新的元逻辑性质的概念.由此看来,模态词O的研究具有特别重要的意义.这方面我们已有一些结果.本文将给出所谓k确定的句子的若干重要性质,而文献1]仅讨论了1确定的句子. |
| 关 键 词： | 信念逻辑 模态词O Levesque 元逻辑 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |