- Tytuł:
- Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
- Autorzy:
- Witczak, Tomasz
- Powiązania:
- https://bibliotekanauki.pl/articles/749992.pdf
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness - Opis:
- 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. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.
- Źródło:
-
Bulletin of the Section of Logic; 2019, 48, 3; 187-205
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł