Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL
Benzmüller, Christoph; Reiche, Sebastian (2021): Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL, in: Archive of Formal Proofs,.
Author:
 ; 
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914x
Year of publication:
2021
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
September 16, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55574