時相論理
#様相論理 / #様相論理の亜種
参考文献　　
鹿島 亮; "コンピュータサイエンスにおける様相論理"
数理論理学 合理的エージェントへの応用に向けて(本)
論理
線形時相論理
計算木論理CTL
計算木論理CTL*