So-called linear "time logics" are restricted to this type of reasoning.
線形時間論理（Linear Time Logic）と呼ばれるものはこの種の推論に限定されている。