temporal logic

可算名詞不可算名詞

A form of symbolic logic used to reason about properties of statements related to order and duration.

日本語の意味

命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。

Researchers used temporal logic to verify that the distributed system maintained message order and timing constraints.

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

意味（1）

A form of symbolic logic used to reason about properties of statements related to order and duration.

temporal logics

（ plural ）