基于状态/事件的逻辑与纯动作或纯状态逻辑的比较
State/event based versus purely Action or State based Logics
AI总结：
本文定义并研究了基于状态/事件的逻辑 UCTL*，证明了 UCTL 和 UCTL* 的表达能力不超出其更常见的片段，并在修改后的模态转移系统上提出了新的状态/事件逻辑。
摘要：
尽管与纯动作或纯状态逻辑相比研究较少，基于状态/事件的逻辑正变得越来越重要。某些系统最好使用同时包含状态和转移信息的结构来研究，而基于状态/事件的逻辑正是在这些结构上定义的。逻辑 UCTL 及其变体可能是迄今为止这些逻辑中被研究和实现最广泛的。然而，到目前为止，似乎还没有人定义 UCTL*，这是一个简单但有价值的步骤。本文正是完成了这项工作，但在 UCTL 和 UCTL* 两种情况下证明了这些逻辑的表达能力并不比它们更常见的片段更强。此外，考虑到模态转移系统的重要性，我们在一个修改后的模态转移系统上定义了一种基于状态/事件的逻辑，作为进一步工作的基础。
英文摘要：
Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over which state/event based logics are defined. The logic UCTL and its variants are perhaps the most widely studied and implemented of these logics to date. As yet, however, no-one seems to have defined UCTL*, a trivial step but a worthwhile one. Here we do just that, but prove in the cases of both UCTL and UCTL* that these logics are no more expressive than their more commonplace fragments. Also, acknowledging the importance of modal transition systems, we define a state/event based logic over a modified modal transition system as a precursor to further work.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
