维尼马，伊德 表达模双相似度：一个联合脑的观点。 （英语） Zbl 1354.03023号 Baltag，Alexandru（编辑）等人，Johan van Benthem，关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑5的杰出贡献》，33-65（2014）。 摘要：van Benthem的一个重要结果是互模拟定理，它将模态逻辑描述为一阶逻辑的互模拟不变片段。Janin和Walukiewicz将这一定理扩展到包括不动点算子，表明模态\（\mu\）-微积分\（\mu\）ML是一元二阶逻辑MSO的双模拟不变片段。他们的证明使用了在克里普克模型上操作的奇偶自动机，并以一元一阶逻辑的某些片段定义的转换映射为特征。本文将其证明分解为三个部分：（1）分别对MSO和ML的两个自动机理论刻画，（2）一元一阶逻辑无恒等片段的简单模型理论刻画，以及（3）自动机理论结果，说明（的强形式）第二个结果以某种方式传播到完全不动点逻辑的级别。我们的主要贡献表明，第三个结果是一个更普遍的现象的实例，该现象本质上是余代数的。我们证明了如果某一集合函子（T）的一组谓词提升（或模态）一致地对应于另一个这样的集合（varLambda’）的自然片段，那么与（varLambda）相关的不动点逻辑是与（varLambda’’）相关的固定点逻辑的双模拟不变逻辑。关于整个系列，请参见[Zbl 1297.03003号]. 引用于1审查引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：模态\（\mu\）-演算;一元二阶逻辑;互模拟不变逻辑 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema}，Outst（奥斯特）。控制日志。5、33——65（2014；Zbl 1354.03023） 全文： 内政部 链接