LTLは場所でしかないし指向性はもっと別なものかなぁ(ある程度限定されるようなLTLであるならそこに向けているとも言えるかもしれないけど)