Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Reiche, SebastianSebastianReiche2022-09-162022-09-1620212150-914xhttps://fis.uni-bamberg.de/handle/uniba/55574engAutomating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOLarticlehttps://isa-afp.org/entries/PAL.htmlhttps://www.isa-afp.org/browser_info/current/AFP/PAL/outline.pdf