Switch to: References

Add citations

You must login to add citations.
  1. Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic.Tomasz Witczak - 2019 - Bulletin of the Section of Logic 48 (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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.Matteo Tesi & Sara Negri - 2023 - Annals of Pure and Applied Logic 174 (8):103285.
  • Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
    In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Weak subintuitionistic logics.Fatemeh Shirohammadzadeh Maleki & Dick De Jongh - 2017 - Logic Journal of the IGPL 25 (2):214-231.
  • Monotone Subintuitionistic Logic: Duality and Transfer Results.Jim de Groot & Dirk Pattinson - 2022 - Notre Dame Journal of Formal Logic 63 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark