乔瓦娜·达戈斯蒂诺;马尔科·霍伦伯格 一致插值、自动机和模态\（\mu\）-微积分。 （英文） Zbl 0906.03018号 Kracht，Marcus（编辑）等人，《模态逻辑的进展》。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。CSLI法律。笔记。87, 73-84 (1998). 摘要：我们证明了模态演算[D.科赞，提奥。计算。科学。27, 333-354 (1983;Zbl 0553.03007号)]具有Craig插值：如果\（\varphi\models\psi\），那么在\（\varphi\）和\（\psi\psi）的通用语言中有一个插值\（\chi\），这样\（\valphi\models \chi\models\si\）。实际上，模态演算有统一的插值：插值只能用（varphi）和公共语言计算。这个结果源于这样一个事实，即二阶类互模拟量词可以在逻辑中定义。这些证明通过D.贾宁和一、Walukiewicz【Lect.Notes Compute.Sci.969，552-562（1995）】。关于整个系列，请参见[Zbl 0897.00022号]. 引用于5文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 05年3月 与逻辑问题相关的自动机和形式文法 关键词：模态\（\mu\）-演算;\（\mu\）-自动机;克雷格插值;均匀插值;互模拟量词 引文：Zbl 0553.03007号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{M.Hollenberg}，in：模态逻辑的进展。第1卷。1996年10月，德国柏林自由大学第一届AiML会议论文集。加利福尼亚州斯坦福：语言与信息研究中心（CSLI）。73-84（1998；Zbl 0906.03018）