鄰域語義，又稱斯科特-蒙塔古語義，是模態邏輯的形式語義。它是由DanaScott和RichardMontague獨立開發的，對更廣為人知的模態邏輯的關系語義的一種概括。而關系框架?W,R?{displaystyle{langleW,Rrangle}由一個世界集合W組成。由一個世界（或狀態）的集合W和一個可訪問性關系R組成，旨在表明哪些世界是其他世界的替代品（或可從其他世界訪問），一個鄰接框架?W,N?{displaystyle￡angleW,Nrangle}仍然有一個世界集合W。仍然有一個世界的集合W，但有一個鄰接關系代替可訪問性關系，即鄰接函數直觀地說，分配給一個世界的每個子集家族都是該世界的必要命題，其中"命題"被定義為W的一個子集（即命題為真的世界集）。具體來說，如果M是框架上的一個模型，那么鄰域語義被用于嚴格弱于正常模態邏輯K的經典模態邏輯。

對于每一個關系模型M=(W,R,V)，都對應著一個等價的(在具有點等價模態理論的意義上)鄰域模型M'=(W,N,V)，定義為反之亦然的事實給了鄰域模型是關系模型的泛化這一說法一個準確的意義。關系結構的另一個（也許更自然的）泛化是一般框架。