Search

• < Previous
• 1
• Next >

---

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 this logic is directly inspired by the theory of Riesz spaces, a mature field of mathematics at the intersection of&nbsp;[&hellip;]

---

Proof Theory of Riesz Spaces and Modal Riesz Spaces

Christophe Lucas ; Matteo Mio.

We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some interesting results concerning the two theories. Most&nbsp;[&hellip;]

---