地域的直観的なモーダル論理とその計算法

Local IKは、構成的モーダル論理WKよりも強力であり、直観的モーダル論理IKと比較不能である。