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