 As the indistinguishability interpretation concerns knowledge, but not belief, we will be working with a language without belief operators. Therefore, let the language \(\mathcal{L}_{K}\) be given by the Backus-Naur form 