As in classical model theory, there are methods for constructing a new Kripke model from other models.
同在经典的模型论中一样，有从其他模型构造一个新的 Kripke 模型的方法。