  Given a propositional model   \(\cM = \langle \bG, \bR, \bV\rangle\), the notion of formula \(X\) being true at state \(\Gamma\) will be denoted  \(\cM,   \Gamma \vDash X\), and is characterized by the following standard rules, where \(P\) is atomic.