 Logics of this type can express various properties relevant to games. They can, for instance, say that all states better than the current one are \(\varphi\) states, making moving towards \(\varphi\) states a necessary condition for maximizing utility. They can also express, that all best states are \(\varphi\) states, with the formula 