Linear temporal logic

ウィキペディア

線形時相論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/13 05:36 UTC 版)

線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相時相論理である。LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。

文法

LTL では変項 ${\displaystyle p_{1},p_{2},...}$ G ${\displaystyle \phi }$ F ${\displaystyle \phi }$ 二項演算 ${\displaystyle \psi }$ ${\displaystyle \psi }$

以下の恒等式が成り立つことから、作用素の種類を減らすことができる:

• F ${\displaystyle \phi }$

Weblio日本語例文用例辞書

「Linear temporal logic」の例文・使い方・用例・文例

• 【学術名】 logic, music, rhetoric.