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.
Autonomous Agents and Multi-agent Systems37(19) (2023)
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.