Dynamical operators on models with evidence

Las lógicas epistémicas dinámicas forman una familia de lógicas modales que se ocupan de las nociones relacionadas con el conocimiento y la creencia, y los cambios que ocurren cuando la nueva información está disponible para los agentes razonadores. Durante los últimos 30 años se han estudiado varia...