Resumo
Ao longo da história, lógicos proporam várias alternativas para a formalização da noção de crença. Um dos principais desafios está no fato de que, diferente do conhecimento ou da verdade, crenças são dinâmicas, sendo constantemente revisadas e alteradas. Nesse contexto, as Lógicas Epistêmicas Dinâmicas, usando multimodalidades, formalizam tanto as crenças quanto as operações de alteração …