Public Announcement Logic in HOL




Author(s): Reiche, Sebastian; Benzmüller, Christoph  
Publisher Information: arXiv
Year of publication: 2020
Pages: 1-17
Language(s): English
DOI: 10.48550/ARXIV.2010.00810
URL: https://arxiv.org/abs/2010.00810
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55641
Release Date: 21. September 2022