近傍意味論は、正規様相論理kよりも弱い古典様相論理のために用いられる。