Completeness of S4 with respect to the real line: revisited

Aiello, 2003, Reasoning about space: the modal way, J. Logic Comput, 13, 889, 10.1093/logcom/13.6.889 Bennett, 1996, Modal logics for qualitative spatial reasoning, J. IGPL, 4, 23, 10.1093/jigpal/4.1.23 Dummett, 1959, Modal logics between S4 and S5, Z. Math. Logik Grundlagen Math, 5, 250, 10.1002/malq.19590051405 Esakia, 1977, Five critical modal systems, Theoria, 43, 52, 10.1111/j.1755-2567.1977.tb00779.x Goranko, 1992, Using the universal modality: gains and questions, J. Logic Comput, 2, 5, 10.1093/logcom/2.1.5 Jónsson, 1951, Boolean algebras with operators. I, Amer. J. Math, 73, 891, 10.2307/2372123 Kirk, 1980, A characterization of the classes of finite tree frames which are adequate for the intuitionistic logic, Z. Math. Logik Grundlag. Math, 26, 497, 10.1002/malq.19800263202 McKinsey, 1944, The algebra of topology, Ann. of Math. (2), 45, 141, 10.2307/1969080 McKinsey, 1948, Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic, 13, 1, 10.2307/2268135 Mints, 1998, A completeness proof for propositional S4 in cantor space Puckett, 1947, A problem in connected finite closure algebras, Duke Math. J, 14, 289, 10.1215/S0012-7094-47-01421-X Rasiowa, 1963, The mathematics of metamathematics, Tom 41 Shehtman, 1999, “Everywhere” and “here”, J. Appl. Non-Classical Logics, 9, 369, 10.1080/11663081.1999.10510972 Tarski, 1938, Der Aussagenkalkül und die Topologie, Fund. Math, 31, 103, 10.4064/fm-31-1-103-134 van Benthem, 2003, Euclidean hierarchy in modal logic, Studia Logica, 75, 327, 10.1023/B:STUD.0000009564.00287.16