Título: Redução do conhecimento à crença
Palestrante: Alexandre Costa Leite (UNICAMP)

Este trabalho apresenta a fusão de lógicas modais com o
axioma de interação 

    K p --> B p, 

evitando a redução do conhecimento à crença:

    K p <--> B p.  

Proponho uma nova solução, diferente da de J. Halpern e W. van der Hoek.