Proof Theory of Riesz Spaces and Modal Riesz Spaces (Logical Methods in Computer Science, 2022)