Topological Completeness of Logics above S4

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan. Topological Completeness of Logics above S4. Journal of Symbolic Logic, 80(2):520-566, 2015. [doi]

Abstract

Abstract is missing.