摘要

协代数模态逻辑是一个统一的框架,用于研究关系领域以外的各种模态逻辑,包括概率和分级逻辑以及条件逻辑和基于邻域和博弈的逻辑。协代数谓词逻辑(CPL)是Chang提出的基于邻域的一阶逻辑的推广,被认为是协代数模态逻辑的自然一阶扩展,当实例化为Kripke类型的关系模态算子时,它特别符合标准的一阶对应语言。在这里,我们将经典的van Benthem/Rosen定理推广到CPL,该定理指出,无论是在任意模型上还是在有限模型上,模态逻辑都是一阶逻辑的互模拟不变片段。作为这个一般结果的实例,我们获得了条件逻辑、邻域逻辑(即经典模态逻辑)和单调模态逻辑的相应特征。

您当前没有访问此文章的权限。