Resultado de la búsqueda: modalizadores logicos de certeza