The Imperative Future: Past Successes ⇒ Future Actions
The Imperative Future: Past Successes ⇒ Future Actions
复制标题
势在必行的未来：过去的成功⇒未来的行动
DOI：
10.1007/978-1-4612-2822-6_1
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
D. Gabbay
中科院分区：
文献类型：
--
作者：
H. Barringer;D. Gabbay
We present a new paradigm of reading future temporal formulae imperatively. A future formula is understood as a command to take action to make it true. With this point of view, temporal logic can be used as an imperative language for actions and control.
