Expressiveness of probabilistic modal logics: A gradual approach

Florence Clerc, Nathanaƫl Fijalkow, Bartek Klin, Prakash Panangaden. Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput., 267:145-163, 2019. [doi]

Abstract

Abstract is missing.