有限Kripkeモデル
Kripkeモデル$ M = \lang S,R,f\rangにおいて$ Sが有限のもの
$ Sは可能世界の集合
$ Rは可能世界間の2⃣項関係
$ fは命題と世界を引数にとって$ 0,1を返す付値関数