Temporal logics are traditionally interpreted in terms of Kripke structures.
时序逻辑传统上是由Kripke结构进行解释的。