On modal logics arising from scattered locally compact Hausdorff spaces

摘要

For a topological space X, let L(X) be the modal logic of X where square is interpreted as interior (and hence lozenge as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, 54.1.2, S4.Grz, S4.Grz(n) (n >= 1), and their intersections arise as L(X) for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or S4.Grz(n) for some n >= 1. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space. (C) 2018 Elsevier B.V. All rights reserved.