 The semantic interpretation follows the same steps as in PDL: relations \(R_a\) for the basic modalities a are assumed, and relations for complex ones are defined in the expected way (with \({\boldsymbol{1}}\) being interpreted with respect to the global relation \(W \times W)\).