Building Epistemic Logic from Observations and Public Announcements.
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber
Browse the full KR paper archive.
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber
Browse the full KR paper archive.