1
动态逻辑与时间逻辑之间的区别
为了找到区别，我在下面遇到了有关Wikipedia中时间逻辑的断言： 模态逻辑与动态逻辑具有许多共同特征的另一种变体与所有上述逻辑的不同之处在于Pnueli将其表征为“内生”逻辑，而其他则是“外生”逻辑。Pnueli的意思是，时间逻辑断言是在一个通用的行为框架内解释的，其中单个全局情况随时间的流逝而变化，而其他逻辑的断言则是在它们所针对的多个动作的外部做出的。内源性方法的优点是，它对环境随时间变化的原因没有做出任何基本假设。相反，时态逻辑公式可以讨论系统的两个不相关部分，因为它们是不相关的，因此它们是默认地并行地并行发展的。实际上，时间断言的普通逻辑结合是时间逻辑的并发合成运算符。这种并发方法的简单性使得时间逻辑成为选择并发系统的模态逻辑，并具有同步，干扰，独立性，死锁，活锁，公平等方面的推理。 我无法意识到这种差异。动态逻辑不能涵盖自变量中的每个时间驱动方面以及时态逻辑吗？ 还是为什么动态不应该处理并发系统？ 你能解决这个问题吗？