Description

• Title:
  Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
• Creator:
  Witczak, Tomasz
• Contributor:
  University of Silesia, Institute of Mathematics;
  tm.witczak@gmail.com
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2021.05.05;
  2019.10.30
• Type:
  Other
• Language:
  English;
  eng
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;3;
  48
• Subject:
  intuitionistic modal logic;
  neighbourhood semantics;
  topological semantics;
  Kripke frames;
  soundness and completeness
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/35361 ;
  2449-836X;
  10.18778/0138-0680.48.3.03
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other