  If \(\mathcal{M} = \langle \mathcal{G} , \mathcal{R}_{1}\),  …,\(\mathcal{R}_{n} , \mathcal{R} , \mathcal{E} ,  \mathcal{V}\rangle\) is a multi-agent possible world justification  model a truth-at-a-world relation, \(\mathcal{M} , \Gamma \Vdash X\),  is defined with most of the usual clauses. The ones of particular  interest are these: