\langleW,R\rangle
\langleW,N\rangle
N:W\to
2W | |
2 |
that assigns to each element of W a set of subsets of W. Intuitively, each family of subsets assigned to a world are the propositions necessary at that world, where 'proposition' is defined as a subset of W (i.e. the set of worlds at which the proposition is true). Specifically, if M is a model on the frame, then
M,w\models\square\varphi\Longleftrightarrow(\varphi)M\inN(w),
where
(\varphi)M=\{u\inW\midM,u\models\varphi\}
is the truth set of
\varphi
Neighborhood semantics is used for the classical modal logics that are strictly weaker than the normal modal logic K.
To every relational model M = (W, R, V) there corresponds an equivalent (in the sense of having pointwise-identical modal theories) neighborhood model M' = (W, N, V) defined by
N(w)=\{(\varphi)M\midM,w\models\Box\varphi\}.
The fact that the converse fails gives a precise sense to the remark that neighborhood models are a generalization of relational ones. Another (perhaps more natural) generalization of relational structures are general frames.