余代数谓词逻辑的Van Benthem/Rosen定理

@第{Schrder2015AVB条，title={余代数谓词逻辑的Van Benthem/Rosen定理}，author={Lutz Schr{\“o}der和Dirk Pattinson以及Tadeusz Litak}，日志={J.Log.Comput.}，年份={2015年}，体积={27}，页码＝{749-773}，网址={https://api.semanticscholar.org/CorpusID:36298033}}
联合谓词逻辑（CPL）是Chang引入的基于邻域的一阶逻辑的推广，被认为是联合模态逻辑的自然扩展，当实例化为Kripke风格的关系模态运算符时，它尤其与标准的一阶对应语言相一致。
通过Publisher查看
用户.cecs.anu.edu.au
20引文
极具影响力的引文
2
背景引文
12
方法引文
6
结果引文
2

20引文

一个量化的余代数van Benthem定理

本文将定量van Benthem定理的结果统一并推广到完全合代数的一般性，从而涵盖了广泛的系统类型，除了现有示例中的模糊和概率转移系统外，还包括度量转移系统；并删除了行为距离的对称假设，因此也涵盖了模拟的定量概念。

定量概率模态逻辑的van Benthem定理

结果表明，定量概率模态逻辑在定量概率一阶逻辑的互模拟不变片段中，在非泛化公式求值的指示意义上，是稠密的；更准确地说，互模拟-变一阶公式可由有界秩的模态公式近似。

单调模态逻辑的对应性、规范性和模型理论

我们研究了联合谓词逻辑（Chang首先提出的邻域框架逻辑）在单调模态逻辑研究中的作用。我们证明了戈德布拉特-托马森的类似物…

单调模态逻辑的对应性、规范性和模型理论

我们研究了联合谓词逻辑（Chang首先提出的邻域框架逻辑）在单调模态逻辑研究中的作用。我们证明了戈德布拉特-托马森的类似物…

描述一般框架的模型理论方法：van Benthem特征定理

本文证明了基于描述性一般框架的模型的van Benthem特征定理的类比，描述性广义框架是一类重要的一般框架，其中每个模态逻辑都是完备的。

1 0 O ct 2 01 8反概率模态逻辑的van Benthem定理

结果表明，定量概率模态逻辑在定量概率一阶逻辑的非泛式公式评估的指示意义上，密集地存在于互模拟不变片段中，该片段可由有界秩的模态公式近似。

模态描述逻辑的一个特征定理

结果表明，无论是在有限模型上还是在非限制模型上，仅具有局部角色的S5-ALC都是S5-FOL的互模拟不变片段，从而精确地描述了

单调模态逻辑通过删除K公理（p→q）→（p→q）而推广了正规模态逻辑，并要求

我们研究了联合谓词逻辑（Chang首先提出的邻域框架逻辑）在单调模态逻辑研究中的作用。我们证明了Goldblatt-Thomason的类似物…

以插值为重点的余代数谓词逻辑探索

    数学、计算机科学
  • 2022
本文详细描述了CPL的形态，激发了作者的选择，并以“Coalgebraic图”的形式给出了一个特征，并使用前原诚司的方法为CPL产生的单调邻域帧提供了一个插值结果。

CPL的模型理论和证明理论

对C.C.Chang忽略的一阶逻辑提出了一个推广：对于任何类型的结构，一种自然的、通用的对应语言，这些结构可以被重构为集合代数和基本模型，从而得到理论结构和结果。

52参考文献

联合模态逻辑的表达性：极限与超越

余代数谓词逻辑：等价结果与证明理论

这项工作在句法上识别了与扩展模态形式相对应的CPL片段，并表明完整的CPL与带有向下绑定器和通用模态的组合代数混合逻辑等价。

余代数谓词逻辑

我们提出了一阶逻辑的推广，源于C.C.Chang的一项被忽视的工作：一种自然和通用的对应语言，适用于任何类型的结构，可以重新定义为…

余代数模态逻辑的有限模型构造

余代数模态逻辑的有限模型构造

证明了（nitary）煤代数模态逻辑具有nite模型性质，这一事实不仅重新证明了煤代数模态逻辑的已知完备性结果，而且能够建立一个通用的可判定性结果和一个第一复杂度界。

余代数模态逻辑的强完备性

本文在联合模态逻辑的语义框架中提出了一个通用的规范模型构造，它精确地确定了模态逻辑的语法和语义之间的一致性条件，从而保证了强完备性。

协同模态逻辑：局部结果的稳健性、完备性和可判定性

秩1模态逻辑是Coalgebraic

每个秩1模态逻辑都有一个健全且强完备的余代数语义，即内函子的每个余代数都可以在秩1中公理化。

特殊类框架的模态特征定理

一元二阶逻辑与余代数的互模拟不变性

其中一个主要结果提供了用全局模态扩展的单调模态mu-calculus的特征，作为对全局互模拟不变的单调邻域函子的一元二阶逻辑片段。
...