Probabilistic logics based on Riesz spaces

Robert Furber, Radu Mardare, Matteo Mio

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of…