标签：#模態邏輯

模態代數

在代數和邏輯中，模態代數是代數結構 \langle A,\land,\lor,-,0,1,\Box\rangle 使得 \langle A,\land,\lor,-,0,1\rangle 是布爾代數， \Box 是在 A 上的一元運算，對於所有 A 中的 x, y 滿足 \Box1=1 和 \Box(x\land y)=\Box x\land\Box y 。 模態代數提供了命題模態邏輯的模型，以和布爾代數是經典邏輯的模型相同的方式。特別…