A new proof of completeness of S4 with respect to the real line - Bezhanishvili, Guram (Inst. for Logic, Language and Computation, 2002)