The tableau method for temporal logic: an overview
The tableau method for temporal logic: an overview
复制标题
作者：
P. Wolper
概述了命题时序逻辑的表格决策方法。该方法针对线性时间时序逻辑进行了详细描述。然后讨论如何将其应用于时态逻辑的其他变体，例如分支时间时态逻辑和线性时间时态逻辑的扩展。最后，回顾了时态逻辑在计算机科学中的应用。
An overview of the tableau decision method for propositional temporal logic is presented. The method is described in detail for linear time temporal logic. It is then discussed how it can be applied to other variants of temporal logic like branching time temporal logic and extensions o f linear time temporal logic. Finally, applications o f temporal logics to computer science are reviewed.