TY  - RPRT
TI  - Topological completeness of logics above S4
AU  - Guram Bezhanisevili
AU  - David Gabelaia
AU  - Joel Lucero-Bryan
PY  - 2013
UR  - https://arxiv.org/abs/1311.2178
ID  - 1311.2178
ER  -