A Tableau Method for Public Announcement Logics.

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

Browse the full TABLEAUX paper archive.