  Given a \(\mathsf{J}_{CS}\) possible world justification model \(\mathcal{M} = \langle \mathcal{G} , \mathcal{R} , \mathcal{E} , \mathcal{V}\rangle\) , truth of formula \(X\) at possible world \(\Gamma\) is denoted by \(\mathcal{M} , \Gamma \Vdash X\), and is required to meet the following standard conditions: