본 논문은 공개 발표 논리의 전통에 따라 익명의 공개 발표 개념을 공식화합니다. 이러한 발표는 "외부"에서의 공개 발표($\phi$의 발표)와 한 명의 에이전트에 의한 공개 발표($K_a\phi$의 발표)의 중간으로 볼 수 있습니다. $\phi$ 그 이상의 정보를 얻지만, 누가 발표했는지에 대한 정보는 (반드시) 얻지 못합니다. 겉보기에는 익명이지만, 에이전트의 배경 지식에 따라 발표자의 신원을 드러낼 수 있습니다 (예: 익명 게시판 글). 또한, 러시아 카드 퍼즐처럼 발표자가 익명을 유지하려는 의도를 가정하면 더 많은 정보가 드러날 수 있습니다. 논문에서는 먼저 의도에 대한 가정을 하지 않는 경우(익명 공개 발표 연산자를 사용하는 논리가 인식 논리로 축소됨)와 익명 유지를 위한 의도에 대한 공통 지식을 가정하는 경우(더 복잡하고 흥미로운 경우, "안전한" 발표 개념으로 귀결됨)를 살펴봅니다. 주요 결과로는 핵심 논리 언어에 대한 형식적 표현력 결과와 공리적 완전성이 포함됩니다.
