Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (Logical Methods in Computer Science, 2024)