近傍Fitting-Marek-Truszczyński意味論
近傍意味論の関係$ \eta : \mathcal{P}(W) \to \mathcal{P}(W)の間に論理式でパラメトリックにしたものつまり
$ \eta : \mathrm{Fml} \to (\mathcal{P}(W) \to \mathcal{P}(W))として$ \eta_\varphiや$ \eta_\botなどが生える：$ \lang W, \{\eta_\varphi\}_{\varphi \in \mathrm{Fml}}, V \rang