 Definition: Let \(M=(W,R_{a},V)\) be a Kripke model for \(\mathcal{L}_{K}\) and let \((M,w)\) be a pointed Kripke model. Then for all \(p\in \textit{Atom}\) and all \(\varphi,\psi\in\mathcal{L}_{K}\)