جبر سویی همچنین شناخته شده با: جبر موجهاتی برابر انگلیک (انگلیسی): Modal algebra دیسهای ⟨𝐴,∧,∨,-,0,1,□⟩□1=1 □(𝑥∧𝑦)=□𝑥∧□𝑦⟨𝐴,∧,∨,-,0,1,□⟩□1=1 □(x∧y)=□x∧□y