検索結果- 英語 - 英語
検索内容:
temporal logic
名詞
可算名詞
不可算名詞
日本語の意味
命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。
関連語
temporal logics
ex tempore
関連語
ex tempore
関連語
ex tempore
関連語
extra-temporality
関連語
loading!
Loading...