摘要

我们考虑可解释性逻辑,即可解释性谓词的模式描述,并尝试确定最适合于广义Veltman语义的互模拟概念。在本文的第一部分中,我们考虑了互模拟的几个概念,并确定了它们之间的联系。在第二部分中,我们进一步发展了广义Veltman语义的一些模型理论性质,并考虑了研究商结构时出现的困难。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。