共代数模态逻辑研究述评

摘要：

@@ 共代数(coalgebra,数学中常译为余代数)是代数的对偶概念.数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数.奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和非良基集(non-well-founded sets)模型称为共代数.

机标关键词：模态逻辑、共代数、究述评

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金08BZX049

在线出版日期：2011-08-03（万方平台首次上网日期，不代表论文的发表时间）

页码：100-106