近傍意味論

近傍意味論、もしくはスコット゠モンタギュー意味論は、様相論理の形式意味論である。この意味論は、様相論理に対するクリプキ意味論の一般化であり、デイナ・スコットとリチャード・モンタギューによって独立に開発された。クリプキフレームformula_1は可能世界（ないし状態）の集合"W"および到達可能関係"R"とから成るが、近傍フレームformula_2は、可能世界の集合"W"と次のような近傍関数"N"とから成る。
"N"は、"W"の要素を取って"W"の部分集合の集合を返す関数である。直観的には、"N(w)"は"w"において必然的であるような命題の集合を表す（ただし"w"∈"W"とする）。ここで命題は"W"の部分集合として定義されるものとする（すなわち命題は、その命題がそこで真となるような可能世界の集合として定義される）。
□"A"の真理条件は、次のように定義される。
ただし、"M"は近傍フレーム上のモデルであり、また、
とする。
近傍意味論は、正規様相論理Kよりも弱い古典様相論理のために用いられる。
クリプキモデルと近傍モデルの対応関係.
どのクリプキモデル M = (W,R,V) に対しても、次のように定義することで、同等な近傍モデル M' = (W,N,V) が作れる。
しかし逆は成り立たない。すなわち、どの近傍モデルに対してもそれに対応するクリプキモデルが作れる、ということはない。この事実は、近傍モデルがクリプキモデルの一般化であるという指摘に正確な意味を与える。別の（おそらくより自然な）クリプキモデルの一般化は、である。