正規様相論理K4
正規様相論理Kに様相論理の公理4を追加したもの．
証明可能性論理の分野でよく分析される気がする．証明可能性論理GLの別定義