 thus understanding that two worlds are epistemically indistinguishable if and only if they can be compared via  \(\leq\).[7]  Then, a notion of S5-knowledge can be expressed by introducing a modality K semantically interpreted via \(\sim\):