论文部分内容阅读
＂空词项＂在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服＂空词项＂的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。