×

泛余代数及其逻辑。 (英语) Zbl 1187.18001号

这是一篇关于余代数的调查论文。Coalgebras为基于状态的系统建模,这些系统与它们的全局和局部逻辑一起在理论计算机科学中进行研究。关于集函子,有一些有用的直觉被证明是自然导致合代数模态逻辑的,其中模态是状态后继对象的有效模式。

MSC公司:

18B20型 机器、自动机的类别
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用