Now showing items 1-1 of 1
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)
We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. ...