McKinsey–Tarski (1944), Shehtman (1999), and Lucero-Bryan (2011) proved completeness theorems for modal logics with modalities 2, 2 and ∀, and [∂] and ∀, respectively, with topological semantics over the real numbers. We give short proofs of these results using lexicographic sums of linear orders.