線形時相論理（せんけいじそうろんり、LinearTemporalLogic、LTL）とは、時間に関する様相を持つ様相時相論理である。
计算树逻辑（CTL）、线性时间逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。