 Note that the modalities are indexical in both the world and the agent. Thus, while formulas of the form \(K\varphi\) are read as “I know \(\varphi\)”, formulas of the form \([\asymp]\varphi\) are read as “all my friends satisfy \(\varphi\)”.