基于状态/事件与纯粹基于动作或状态的逻辑对比
摘要：基于状态/事件的逻辑虽然研究较少，但日益重要。有些系统最好用同时具有状态和转换信息的结构来研究，而正是在这些结构上定义了基于状态/事件的逻辑。到目前为止，UCTL和其变体可能是最广泛研究和实施的这些逻辑。然而，迄今为止还没有人定义UCTL*，虽然只是一个微不足道的步骤，但却是有价值的。在这里，我们就是这样做的，但在UCTL和UCTL*的情况下，我们证明这些逻辑在表达能力上并不比常见的碎片逻辑更强。此外，鉴于模态转换系统的重要性，我们定义了一个基于状态/事件的逻辑，并对修改后的模态转换系统进行研究，作为进一步工作的前导。
作者：James Smith
论文ID：1303.7459
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-11