Building Epistemic Logic from Observations and Public Announcements

Open in new window