Opis

• Tytuł:
  Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
• Twórca:
  Witczak, Tomasz
• Współtwórca:
  University of Silesia, Institute of Mathematics;
  tm.witczak@gmail.com
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2019.10.30
• Typ:
  Other
• Język:
  angielski;
  eng
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  48
• Temat i słowa kluczowe:
  intuitionistic modal logic;
  neighbourhood semantics;
  topological semantics;
  Kripke frames;
  soundness and completeness
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35361 ;
  2449-836X;
  10.18778/0138-0680.48.3.03
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe