 For each diamond modality \(\langle X\rangle,\) the corresponding box modality is defined as its dual: \([X] \varphi \equiv \neg \langle X\rangle \neg \varphi.\) Sometimes it is useful to include an additional modal constant for point intervals, denoted \(\pi,\) with the following truth definition: