分岐時相論理

branching-time temporal logic

与えられた状態から始まる実行経路のかの推移について記述