关键词: 
• 动态系统，非良基集合，模态逻辑，余代数，余代数同态，余代数模态逻辑

摘要: 近年来,余代数成为国际逻辑学界研究的热点之一.余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构.从广义上说,余代数处理基于状态的动态系统,比如理论计算机科学中的(加标)转换系统、模态逻辑的模型和框架等等,它是基于状态的动态系统的抽象模型.本文首先介绍余代数的基本概念,然后论述它在非良基集合论研究中的起源,接着说明余代数与模态逻辑的联系.最后,余代数提供了一种处理模态逻辑语义的抽象模型,因此具有十分广泛的应用.