It is not a good idea to name a state after its valuation.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic
It is not a good idea to name a state after its valuation.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi: Dynamic Epistemic Logic