generated at
時相論理
#様相論理 / #様相論理の亜種

参考文献　　
鹿島 亮; "コンピュータサイエンスにおける様相論理"
数理論理学 合理的エージェントへの応用に向けて(本)

論理
線形時相論理
計算木論理CTL
計算木論理CTL*