from 命題直観主義論理

S,w\models \varphi\to\psiの解釈 (論理学)がやや特殊

wRw'を満たす任意のw'\in Wに対して、S,w'\models \varphiならばS,w'\models \psiが成り立つ

世界wの話をしているのに、そこから到達可能な世界w'で「\varphiならば\psi」が成り立っていないといけない