線形時相論理
時相論理の一種
命題論理を扱う
Propositional Linear Temporal Logic，PLTL
特殊なKripkeモデルである
線形時間Kripkeモデルを使って時間の概念を表す