76 citations · 102 across the 14 of their papers we have counts for
1 paper · 1 filter
Guram Bezhanisevili, David Gabelaia, Joel Lucero-Bryan
It is a celebrated result of McKinsey and Tarski [28] that S4 is the logic of the closure algebra X+ over any dense-in-itself separable metrizable space. In particular, S4 is the l…