Este artículo señala que, a pesar de los importantes esfuerzos por extender el paradigma de cambio de creencias de la AGM más allá de la lógica finita, los aspectos computacionales de las AGM han permanecido en gran parte inexplorados. Investigamos la computabilidad de las reducciones de AGM en lógicas infinitas y revelamos una consecuencia negativa intrigante: existen infinitas funciones de reducción de AGM incomputables en estas lógicas. Más dramáticamente, demostramos que la actual estrategia de control de computabilidad estándar de facto, que se basa en restringir el espacio de estados de conocimiento, falla, manteniendo la incomputabilidad en todos los casos infinitos. Dados estos resultados devastadores, proponemos un enfoque novedoso para controlar la computabilidad más allá de los dominios finitos. Utilizando la lógica temporal lineal (LTL) como caso de estudio, identificamos una clase infinita de funciones de reducción de AGM perfectamente racionales que son computables por diseño. Construimos estas funciones utilizando autómatas de Büchi para representar y razonar sobre las creencias de la LTL.
