×

二阶逻辑和集合论中的模态演绎。一、。 (英语) Zbl 0873.03021号

小结:我们通过翻译成标准逻辑和集合论来研究模态演绎。在之前的一篇论文中,我们使用集合论翻译方法证明了最小模态逻辑(K_s)中的可导性与弱计算吸引集理论(Omega)中的导性精确对应。本文表明,这种方法等效于在一般框架理论中处理模态公式的标准一阶转换。所使用的技术主要是模型理论和集合理论,它们允许对比基本模态逻辑更丰富的语言和模态演绎系统进行扩展。本文的最后部分讨论了其中一些扩展。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用
全文: 内政部