命題分岐時間時相論理
時相論理の一種
命題論理を扱う
など
鹿島 亮; "コンピュータサイエンスにおける様相論理"
数理論理学 合理的エージェントへの応用に向けて(本)
分岐時間Kripkeモデルを使って時間の概念を表す
計算木論理CTL
計算木論理CTL*，線形時相論理と計算木論理CTLの間の子感がある
経路に対する量化を許す，という特徴がある