Succinctness of Epistemic Languages

Open in new window