首页 | 本学科首页   官方微博 | 高级检索  
     检索      


On modal logics arising from scattered locally compact Hausdorff spaces
Authors:Guram Bezhanishvili  Nick Bezhanishvili  Joel Lucero-Bryan  Jan van Mill
Institution:1. Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003, USA;2. Institute for Logic, Language and Computation, University of Amsterdam, 1090 GE Amsterdam, the Netherlands;3. Department of Mathematics, Khalifa University of Science and Technology, PO box 127788 Abu Dhabi, United Arab Emirates;4. Korteweg–de Vries Institute for Mathematics, University of Amsterdam, 1098 XG Amsterdam, the Netherlands
Abstract:For a topological space X, let L(X) be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in 3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, S4.Grzn (n1), 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.Grzn for some n1. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.
Keywords:03B45  03B55  06E15  54D45  54G12  Modal logic  Topological semantics  Stone space  Locally compact space  Scattered space  Paracompact space
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号