Dynamic Probability Logic: Decidability & Computability. - Somayeh Chopoghloo; Mahdi Heidarpoor; Massoud Pourmahdian (CoRR, 2024)