近傍意味論

ウィキペディア

近傍意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/28 23:38 UTC 版)

近傍意味論、もしくはスコット゠モンタギュー意味論は、様相論理の形式意味論である。この意味論は、様相論理に対するクリプキ意味論の一般化であり、デイナ・スコットとリチャード・モンタギューによって独立に開発された。クリプキフレーム$\langle W,R\rangle$ この項目は、哲学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:哲学）。