Magari代数
様相論理
の
代数的意味論
．
すなわち
Boole代数
に
$ \Box
を入れて拡張したもの．
R. Magari; "Representation and Duality Theory for Diagnoalizable Agebras"