Whereas standard treatments of temporal logic are adequate for closed systems, having no run-time interactions with their environment, they fall short for reactive systems, interacting with their environments through synchronisation of actions. This paper introduces reactive temporal logic, a form of temporal logic adapted for the study of reactive systems. I illustrate its use by applying it to formulate definitions of a fair scheduler, and of a correct mutual exclusion protocol. Previous definitions of these concepts were conceptually much more involved or less precise, leading to debates on whether or not a given protocol satisfies the implicit requirements.

中文翻译：

---

反应时间逻辑

虽然时间逻辑的标准处理适用于封闭系统，与环境没有运行时交互，但它们不适合反应式系统，通过动作同步与环境交互。本文介绍了反应时间逻辑，这是一种适用于反应系统研究的时间逻辑形式。我通过将其应用于制定公平调度程序和正确互斥协议的定义来说明其用途。这些概念的先前定义在概念上更复杂或更不精确，导致关于给定协议是否满足隐含要求的争论。