近傍意味論
Scott-Montague意味論
とも言われるが,このプロジェクトではこちらを採用する
参考
様相論理
における
近傍意味論
の利点の一つは,
$ \bf K
よりも弱い論理に対し意味論が提供可能である点である.
豊岡正庸; "ベース状況付きの弱下位直観主義論理に対する近傍意味論"
の要旨より
近傍意味論
を考える差し当たりの動機は,
$ \bf K
よりも弱い体系を作ることである。
こっとん; "様相論理の近傍意味論はS4 フレームなら位相空間論の意味での「近傍系」になる話!"
https://cottonshampoo.notion.site/S4-ffe6c340c31c443b871ab8dffc269445
この文献では
ネセシテーション
は
認識論理
では棄却したい規則であるとし,ネセシテーションの無い様相論理体系に対しての意味論として
近傍意味論
を使いたいみたいなことも書いてある