×

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

[第一部分见J.Log.Compute.7,No.2,251-265(1997;Zbl 0873.03021号).]
摘要:本文推广了G.达戈斯蒂诺,A.蒙塔纳里A.政策[J.Autom.Reasoning 15,No.3,317-337(1995;Zbl 0840.03015号)]扩展模态逻辑。我们没有为每个逻辑设计特殊的翻译,而是开发了一个通用框架,在该框架中可以处理许多扩展模态逻辑。我们首先通过对基本集合理论的适当改变,将基本集合理论翻译方法扩展到弱一元二阶逻辑,该理论以有趣的方式与可构造性联系在一起;然后,我们展示了如何定制这样的翻译来处理扩展模态逻辑的特定情况。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03E99型 集合论
03B15号机组 高阶逻辑;类型理论(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部