Soundness and completeness of the axioms of a probabilistic modal logic - Nino Guallart (Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno, 2021)