証明可能性論理GLはあらゆるフレームクラスに対しても健全かつ強完全ではない - Internet Explorer 2.0

証明可能性論理GLはあらゆるフレームクラスに対しても健全かつ強完全ではない

P.Blackburn, M. de Rijke, Y.Venema; "Modal Logic"，定理4.43を参照のこと．

数学における証明と真理様相論理と数学基礎論