Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOLby Christoph Benzmüller and Sebastian Reiche08 Nov