Dynamic Probability Logics: Axiomatization & Definability

Somayeh Chopoghloo, Massoud Pourmahdian

We first study probabilistic dynamical systems from logical perspective. To this purpose, we introduce the finitary dynamic probability logic} ($\mathsf{DPL}$), as well as its infi…