H.Peter Gumm 泛余代数及其逻辑。 (英语) Zbl 1187.18001号 阿拉伯的。科学杂志。工程(AJSE)、数学。 第1期,第105-130页(2009年). 这是一篇关于余代数的调查论文。Coalgebras为基于状态的系统建模,这些系统与它们的全局和局部逻辑一起在理论计算机科学中进行研究。关于集函子,有一些有用的直觉被证明是自然导致合代数模态逻辑的,其中模态是状态后继对象的有效模式。审核人:瓦克拉夫·库贝克(普拉哈) 引用于1文件 MSC公司: 18B20型 机器、自动机的类别 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 03B45号 模态逻辑(包括规范逻辑) 关键词:联合布拉格;共价性;等式;互模拟;观察等价;模态逻辑;表现力 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Gumm},阿拉伯。科学杂志。工程(AJSE)、数学。34,编号1D,105--130(2009;Zbl 1187.18001)