GL.3の拡張について
Cor 4.12: The only proper normal extensions of
$ \bf GL.3
are
$ \mathbf{GL.3} \oplus \Box^k \bot
:
$ k \in \omega
E. Jeřábek; Admissible rules of modal logics
様相論理GL.3