時相論理
temporal logic
https://ja.wikipedia.org/wiki/時相論理
https://ja.wikibooks.org/wiki/時相論理
「常に ある性質が成立する」あるいは「いつか ある性質が成立する」といった時間的な要素を含む論理体系
システム の ハードウェア や ソフトウェア への要求仕様を満たすために 形式手法 で用いられる
関連
計算木論理