到達可能性関係
reachability relation
複数世界(
可能世界
)間で移動できる関係
ある世界
$ w_1
から
$ w_2
に移動できる時、
$ w_2
は
$ w_1
から
到達可能
であると言う
到達可能性関係は、
$ w_1
と
$ w_2
の間の二項関係と言える
例えば、プログラムの、
t
秒後での世界と
t+1
秒後の世界は、1秒待てば移動できる
/mrsekut-book-4007305803/102