Levesque的信念逻辑中模态词O的若干语义特征

Levsque的信念逻辑具有一个特别的模态词O,这使得表达“仅仅某一句子(或有限个句子)被相信(或被知道)”成为可能.在这种逻辑里仅利用古典的元逻辑概念(可满足性,永真性,蕴涵)就可以刻画推理的非单调性,而在其他信念逻辑加Moore的自动认识逻辑中,非单调推理的刻画需用到一些新的元逻辑性质的概念.由此看来,模态词O的研究具有特别重要的意义.这方面我们已有一些结果.本文将给出所谓k确定的句子的若干重要性质,而文献[1]仅讨论了1确定的句子.