Monadic Boolean algebras also have an important connection to modal logic.

• 一元布尔代数还与模态逻辑有重要联系。