Kripkeフレームの大きさを規定する
以下は様相論理の言語で語るが直観主義命題論理のフレームなどでも同じような議論がある．
詳しくはA. Chagrov, M. Zakharyaschev; "Modal Logic"を参照せよ
Memo
例えばKripkeフレームのwidthを制限する様相論理の公理は…