论文部分内容阅读
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr？der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr？der所构造的函子是等价的.