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

• Autorzy: Tomasz Witczak
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

intuitionistic modal logic; neighbourhood semantics; topological semantics; Kripke frames; soundness and completeness

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2019
• Tom: 48
• Numer: 3
• Strony: 187-205

Daty

wydano

2019-10-30

Twórcy

autor

Tomasz Witczak

Identyfikatory

DOI

10.18778/0138-0680.48.3.03