模态语义相关论文
在一种不拒绝内涵的意义理论中，内涵和本质属性应该如何得到充分而又完整的刻画呢？本文分析了弗雷格的含义一指称理论和卡尔纳普的内......
Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义，并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子，并研究了相......
