On the equivalence of game and denotational semantics for the probabilistic mu-calculus av Matteo Mio

Hämta fulltext

Probabilistic modal {\mu}-calculus with independent product av Matteo Mio

Hämta fulltext

Proof Theory of Riesz Spaces and Modal Riesz Spaces av Christophe Lucas, Matteo Mio

Hämta fulltext

Monadic Second Order Logic with Measure and Category Quantifiers av Matteo Mio, Michał Skrzypczak, Henryk Michalewski

Hämta fulltext

Probabilistic logics based on Riesz spaces av Robert Furber, Radu Mardare, Matteo Mio

Hämta fulltext