אנגלית ⇄ סינית +

modal temporal logic
.בינה	模态时序逻辑