Semántica Modal para Razonar con Probabilidad e Incertidumbre