Rúa M., G. y Sierra A., M. 2008. Algunas lógicas modales asociadas al razonamiento de agentes inteligentes. Ingeniería y Ciencia. 4, 7 (jun. 2008), 23–45.