Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL




Author(s): Benzmüller, Christoph  ; Reiche, Sebastian
Title of the Journal: Archive of Formal Proofs
ISSN: 2150-914x
Year of publication: 2021
Pages: 5
Language(s): English
URL: https://isa-afp.org/entries/PAL.html
https://www.isa-afp.org/browser_info/current/AF...
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55574
Release Date: 16. September 2022