近傍意味論
どのクリプキモデル M = (W,R,V) に対しても、次のように定義することで、同等な近傍モデル M' = (W,N,V) が作れる。
N ( w ) = { ( A ) M : M , w ⊨ ◻ A } {\displaystyle N(w)=\{(A)^{M}:M,w\models \Box A\}}
しかし逆は成り立たない。すなわち、どの近傍モデルに対してもそれに対応するクリプキモデルが作れる、ということはない。この事実は、近傍モデルがクリプキモデルの一般化であるという指摘に正確な意味を与える。別の(おそらくより自然な)クリプキモデルの一般化は、一般フレーム(英語版)である。