Intuitively, this says that \(p^{\prime }\)  (meaning the negation of \(p\) )
shall be true if there is no possible world where \(p\)  is true. In
[1]}, a different rule is proposed:
\( p^{\prime } \leftarrow \mathbf {not}\,p. \) 
