Safe anonymous public announcements are shown to be exactly public announcements of a new safety modality, with a complete axiomatization and expressivity equivalence among the resulting languages.
Studies in Logic8, 65–78 (2015)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Anonymous Public Announcements
Safe anonymous public announcements are shown to be exactly public announcements of a new safety modality, with a complete axiomatization and expressivity equivalence among the resulting languages.