Consistency preservation and crazy formulas in BMS
Résumé
We provide conditions under which seriality is preserved during an update in the BMS framework. We consider not only whether the entire updated model is serial but also whether its generated submodels are serial. We also introduce the notion of crazy formulas which are formulas such that after being publicly announced at least one of the agents' beliefs become inconsistent.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...