arXiv:2504.12546v2 宣布类型: replace-cross 摘要：我们在公共公告逻辑的传统背景下正式化匿名公共公告的概念。这样的公告可以被视为介于“外部”的公共公告（即宣布$\phi$）和某个代理发出的公共公告（即宣布$K_a\phi$）之间：我们获取的信息超过了仅仅是$\phi$的内容，但不一定明确知道是谁发出的。即使这种公告看似匿名，根据代理的背景知识，它也可能泄露发言人的身份：如果我在留言板上发布了一些内容，即使我不署名，信息也可能泄露我是谁。此外，与俄罗斯卡片谜题类似，如果假设发言人的意图是保持匿名，这样做实际上可能泄露更多信息。在本文中，我们首先研究在不做关于意图假设的情况下的情形，在这种情况下，包含匿名公共公告操作符的逻辑可以归约为认识逻辑。然后我们研究在假设共同知识表明意图保持匿名的情况下，这种情况既更复杂也更有趣：以多种方式，它归结为一种“安全”公告的概念（再次类比俄罗斯卡片谜题）。主要结果包括对关键逻辑语言的形式表达能力和公理完全性的形式结果。