摘要：经典命题逻辑被认为在解释连词为集合操作的集合语义下是正确和完备的。本文通过引入一个新的二元模态来扩展命题语言，该二元模态在上述解释下对应于部分递归函数类型构造子。研究了确定性和非确定性函数的情况，并描述了在这两种情况下语义上完备的模态逻辑，并确定了这些逻辑的可决定性。
作者：Pavel Naumov
论文ID：cs/0407031
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中