模态代数

在代数和逻辑中，模态代数是一种代数结构，具体定义请参见正文。模态代数提供了命题模态逻辑的模型，以和布尔代数是经典逻辑的模型相同的方式。特别是，所有模态代数的簇是在抽象代数逻辑意义下的模态逻辑 K 的等价代数语义，并且它的子簇们的格对偶同构于正规模态逻辑的格。在代数和逻辑中，模态代数是代数结构使得是布尔代数，是在A上的一元运算，对于所有A中的x，y满足和。