Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: soundness and completeness

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic

100%

Witczak T.

Bulletin of the Section of Logic

2019

tom 48

nr 3

187-205

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Witczak T.

1 2019

Wyniki wyszukiwania

Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic