直観主義論理の→
from
命題直観主義論理
$ S,w\models \varphi\to\psi
の
解釈 (論理学)
がやや特殊
$ wRw'
を満たす任意の
$ w'\in W
に対して、
$ S,w'\models \varphi
ならば
$ S,w'\models \psi
が成り立つ
世界
$ w
の話をしているのに、そこから到達可能な世界
$ w'
で「
$ \varphi
ならば
$ \psi
」が成り立っていないといけない
mrsekut.icon
/mrsekut-book-4007305803/144