Resumen: Si la creencia individual es KD45, la creencia común efectivamente pierde la propiedad 5 y conserva las propiedades D y 4, y no tiene ninguna de las otras propiedades de conocimiento y creencia comúnmente consideradas. Pero tiene otra propiedad: $C(Cphi rightarrow phi)$ — correspondiente a la llamada reflexividad de cambio (reflexividad un paso por delante). Esta observación plantea la pregunta:
¿KD4 se extiende con este axioma como una caracterización completa de la creencia común en el caso KD45? Si no, ¿cuál es la lógica de la creencia común? En este artículo mostramos que la respuesta a la primera pregunta es “no”: hay un axioma adicional y, además, depende del número de agentes. Mostramos que el resultado es una caracterización completa de la creencia común, resolviendo el problema abierto.
Publicado originalmente en export.arxiv.org el 17 de febrero de 2026.
Ver fuente original
