在代數和邏輯中，模態代數是一種結構?A,∧,∨,-,0,1,??{displaystylelangleA,land,lor,-,0,1,Boxrangle}這樣一來{displaystyleBox}是對A的單項操作，滿足于對A的操作。是A上的一個單項運算，滿足{displaystyleBox1=1}，并且{displaystyle盒子(x/landy)=盒子x/land盒子y}對于A中的所有x，y，都有可能。對于A中的所有x，y。模態bras提供了命題模態邏輯的模型，就像布爾bras是經典邏輯的模型一樣。特別是，所有模態bras的品種是抽象代數邏輯意義上的模態邏輯K的等價代數語義，其子變量的格子與普通模態邏輯的格子是二元同構的。

斯通的表示定理可以被概括為瓊森-塔斯基二重性，它確保每個模態代數都可以被表示為模態一般框架中的可接受集的代數。馬加里代數（或可對角線化代數）是一個滿足以下條件的模態代數?(-?x∨x)=?x{displaystyleBox(-Boxxlorx)=Boxx}。

矩陣對應于證明性邏輯。