Modal algebra
在代数和逻辑中，模态代数是一种代数结构，具体定义请参见正文。模态代数提供了命题模态逻辑的模型，以和布尔代数是经典逻辑的模型相同的方式。特别是，所有模态代数的簇是在抽象代数逻辑意义下的模态逻辑 K 的等价代数语义，并且它的子簇们的格对偶同构于正规模态逻辑的格。
详细内容
应用推荐
模块上移
模块下移
不移动