克里普克结构，模态逻辑

Question

如果您能帮助我解释 Kripke 模型，我将不胜感激。

我想确定在 s_1-s_6 的哪个世界中，对 p 的否定存在 ($\neg p$) 但不知道如何考虑一个空的世界或一个同时包含 p 和 q 的世界，在这种情况下适用于世界 s_4 和 s_6。这两个包含 $\neg p$ 是真的吗？

如果我猜，空世界应该包含p的否定，因为p在世界中根本不存在，但在同时包含p和q的世界中，我更加分裂。如果 p 和非 p 都存在于世界中，那么对 p 的否定真的可以存在于一个世界中吗？