摘要

我们考虑了关于模态逻辑在任意类别的框架上用一种特殊的命题量词(称为双模拟量词)扩展的三个基本问题:双模拟不变性、一致插值和表达能力。特别地:

  • 我们讨论了互刺激量词的互刺激不变性与框架类融合的语义概念之间的关系;

  • –我们考虑了一种强形式的插值、均匀插值及其与互模拟量词下闭包的关系;

  • –我们将互模拟量词逻辑与更为著名的具有极值不动点的模态逻辑扩展进行了比较。

在本文中,我们证明了对所有框架类有效的这些问题的答案并没有推广到任意类,但如果我们限制到(有限)传递框架类或(有限)及物框架类和自反框架类,它们确实会推广。

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