分支时间瞬时逻辑
_
branching-time temporal logic
пословный:
分支 | 时间 | 瞬时 | 逻辑 |
1) разделяться, разветвляться
2) разветвление, развилка; ответвление; раздел; филиал
|
1) время; промежуток времени, временной отрезок; период, момент; часы (напр. занятий), день (рабочий); часовой, почасовой
2) среднекит. теперь, ныне, в настоящее время
|
во мгновение ока; мгновенный; моментальный; мигом, моментально, мгновенно
|
логика; логический; логичный
|