 To do so we need to introduce a special type of operator: the universal (or global) modality (Goranko &amp; Passy 1992). This modality expresses properties of all the states in a domain \(W\) of a model \(M\) and it is interpreted as follows.