temporal logic

countable uncountable

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

Japanese Meaning

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

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

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

Sense（1）

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

temporal logics

（ plural ）