Dentre as lógicas multimodais, alógica epistêmica dinâmica foi desenvolvida para modelar as mudanças de estados epistêmicos em grupos de agentes. inspirada em recursos da lógica dinâmica (concebida para lidar com programas computacionais), aquela lógica permite representar a própria transição entre estados epistêmicos, tanto individuais como grupais, dos agentes considerados. essa transição pode ser devida a diferentes ações epistêmicas (p.ex., o compartilhamento de uma informação com uma pessoa ou grupo em privado). a versão mais simples (e inicial) dessa lógica ?cou conhecida como lógica do anúncio público, que considera apenas um tipo de ação epistêmica: a divulgação pública e simultânea de uma informação para todos os agentes. essa divulgação é referida genericamente como “anúncio público”; porém, não precisa consistir, a rigor, em um anúncio típico, podendo ser um evento percebido simultaneamente por todos os agentes, contanto que cada agente saiba que todos os agentes estão acessando essa informação juntos, e que todos saibam desse mesmo fato, etc. a lógica do anúncio público apresenta pelo menos duas especi?cidades, não necessariamente preservadas por suas extensões que incluam outras ações epistêmicas: trata-se de uma lógica funcional (quando um anúncio for exequível, haverá somente uma maneira de fazê-lo) e dispensa o emprego de de?nições e provas por dupla indução (não há necessidade de se de?nir fórmulas e ações como duas categorias distintas e mutuamente dependentes de expressões da linguagem). alguns trabalhos foram publicados sobre essa lógica, explorando diferentes axiomatizações, tratamentos semânticos e extensões; entretanto, quase todos se dedicam exclusivamente ao nível proposicional. em nossa pesquisa bibliográ?ca, encontramos somente um artigo que desenvolve satisfatoriamente uma versão de primeira ordem para a lógica do anúncio público (kishida, k. public announcementsundersheaves. in: newfrontiersinarti?cialintelligence, p. 96-108, 2013, isbn 978-3-642-39930-5). contudo, apesar da extrema so?sticação e elevado rigor técnico encontrados naquele trabalho, seu tratamento considera linguagens com anúncios públicos contendo somente fórmulas fechadas (sentenças), bem como um único agente epistêmico. além disso, sua semântica, uma combinação de semântica de vizinhanças com semântica de feixes, motivada por um interesse ?losó?co bem especí?co (a interpretação intuitiva do operador epistêmico usual como representando conhecimento veri?cável), pode ser vista como desnecessariamente complicada se estamos interessados em uma interpretação standard para aquele operador, além de comprometer-se com uma perspectiva (um tanto polêmica) de contrapartes individuais, segundo a qual o mesmo objeto do domínio de interpretação não pode estar associado a mais de um ponto no modelo. nossa contribuição propõe duas famílias, por assim dizer, de extensões de primeira ordem para a lógica do anúncio público, para quaisquer conjuntos ?nitos não-vazios de agentes epistêmicos e para anúncios contendo quaisquer fórmulas de suas respectivas linguagens. os sistemas da primeira família estendem os correspondentes sistemas epistêmicos estáticos, providos com os usuais operadores epistêmicos para agentes individuais; e os da segunda fazem o mesmo com seus correspondentes sistemas estáticos, os quais, além de operadores epistêmicos individuais, adotam operadores de conhecimento distribuído em grupos de agentes. além disso, nosso framework é o tradicional (modelos relacionais), o que simpli?ca consideravelmente o tratamento do assunto e não se compromete com indivíduos world-bounded. antes de construir aquelas extensões dinâmicas, dedicamos alguns capítulos ao estudo dos vários sistemas epistêmicos estáticos que servirão como lógicas de base para nossa lógica do anúncio público, inclusive detalhando sistemas epistêmicos com conhecimento distribuído, e mostramos a completude em cada caso. em se tratando de lógica epistêmica de primeira ordem, também fazemos brevemente uma defesa ?losó?ca do emprego de quanti?cadores atualistas na lógica modal, com curiosos resultados relacionados com os esquemas conhecidos como fórmula de barcan e sua recíproca.