卢茨·施罗德 联合模态逻辑的表达：极限与超越。 （英语） Zbl 1119.03015号 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441440-454（2005）。 概要：模态逻辑被认为是描述被建模为余代数的系统的反应行为的首选逻辑。从所谓的谓词提升中获得的带有模态算子的逻辑在行为等价下是不变的。相反，表示性结果表明，逻辑上不可区分的状态在行为上等价，这取决于手边签名函子的谓词提升分离集的存在。这里，我们为谓词提升提供了一个分类结果，这导致了此类分离集存在的一个简单标准，并且我们给出了函子的简单示例，这些函子不能分别接受表达正常或单调模态逻辑，或者实际上根本不接受表达（一元）模态逻辑。然后，我们继续讨论多元模态逻辑，其中模态运算符可以使用多个参数公式。我们证明了每个可访问函子都可以接受一个有表现力的多元模态逻辑。此外，与一元模态逻辑不同，表达的多元模态逻辑是合成的。关于整个系列，请参见[Zbl 1068.68009号]. 引用于2评论引用于14文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 68问题65 抽象数据类型；代数规范 软件：CCSL公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，莱克特。注释计算。科学。3441440-454（2005；Zbl 1119.03015） 全文： 内政部