Grigori Mints S4 is Topologically Complete for (0, 1): a Short Proof. 63-71 2006 14 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/jzk004 db/journals/igpl/igpl14.html#Mints06