線形時相論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/26 19:31 UTC 版)
線形時相論理(せんけいじそうろんり、Linear Temporal Logic、LTL)とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。
- 1 線形時相論理とは
- 2 線形時相論理の概要
- 3 他の論理との関係
線形時相論理と同じ種類の言葉
- 線形時相論理のページへのリンク