GLとGrzのBoxdot特性
Def
様相論理$ \Lambda_1が$ \Lambda_2に対してBoxdot特性を持つとは、Boxdot変換$ \cdot^\boxdotとして
$ \Lambda_1 \vdash A \iff \Lambda_2 \vdash A^\boxdot
が成り立つこととする。
Thm
$ \bf GLは$ \bf Grzに対してBoxdot特性を持つ。