Images for Pruebas interesantes para una lógica multi-modal multi-agente : un caso de estudio sobre completitud Carbonari, Francisco Eduardo Daniel