2 papers
math.LO2023
On Shehtman's Two Problems
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan +1
We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the Čech-Stone compactification of an ordinal space. We use the Continuum Hypothesis to…
math.LO2013
Topological completeness of logics above S4
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…