共代数模态逻辑研究述评

摘要

共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型称为共代数。存此基础上，1996年，巴威斯（J．Barwise）和莫斯（L．Moss）讨论了各种包含循环性和自参考概念的现象，