La lógica de anuncios públicos es una lógica que estudia actualizaciones epistémicas. En este documento, proponemos un sistema de deducción natural etiquetado sólido y completo para la lógica de anuncios públicos con el operador de conocimiento común (PAC). La completitud del sistema propuesto se demuestra indirectamente a través de un cálculo de Hilbert para PAC conocido por ser completo y sólido. Concluimos con varias discusiones sobre el sistema, incluidos algunos problemas del sistema para lograr la normalización y la propiedad de subfórmulas.