到達可能性

様相論理、一つの式の中で一つしか到達可能性を扱えないの不便ですね（先の表現で「から」に使った□と、「だろう」で使う□で、違うRを与えたいかもしれない）

重ね掛けしたいときはどうすんねやろな

様相論理＋認識論理とか