Likewise, monadic Boolean algebras supply the algebraic semantics for S5.

• 类似的，一元布尔代数为 S5 提供了代数语义。